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

Sylvanus A. Ehikioya, Trevor Walowetz. A formal specification of transaction systems in distributed multi-agents systems. In Roger Y. Lee, editor, Computers and Their Applications (CATA-99), Proceedings of the ISCA 14th International Conference, Cancun, Mexico, April 7-9, 1999. pages 378-383, ISCA, 1999.

Abstract

Abstract is missing.