Sylvanus A. Ehikioya. An integrated tool support for the specification of transaction systems protocols. 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 78-81, ISCA, 1999.
Abstract is missing.