An integrated tool support for the specification of transaction systems protocols.

Sylvanus A. Ehikioya

Browse the full CATA paper archive.