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.

Authors

Sylvanus A. Ehikioya

This author has not been identified. Look up 'Sylvanus A. Ehikioya' in Google

Trevor Walowetz

This author has not been identified. Look up 'Trevor Walowetz' in Google