External Transaction Logic with Automatic Compensations
- Citation:
- Gomes, Ana Sofia, and José Júlio Alferes. "External Transaction Logic with Automatic Compensations." Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV. Springer-Verlag, 2013. 239-255.
Abstract:
n/a
Notes:
n/a