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.

@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},
}