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.
@inproceedings{EhikioyaW99, title = {A formal specification of transaction systems in distributed multi-agents systems}, author = {Sylvanus A. Ehikioya and Trevor Walowetz}, year = {1999}, researchr = {https://researchr.org/publication/EhikioyaW99}, cites = {0}, citedby = {0}, pages = {378-383}, booktitle = {Computers and Their Applications (CATA-99), Proceedings of the ISCA 14th International Conference, Cancun, Mexico, April 7-9, 1999}, editor = {Roger Y. Lee}, publisher = {ISCA}, isbn = {1-880843-27-7}, }