A formal specification of transaction systems in distributed multi-agents systems.

Sylvanus A. Ehikioya, Trevor Walowetz

Browse the full CATA paper archive.