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

PreviewAttachmentSize
clima13.pdf245.12 KB