On the Design and Formal Specification of a Transaction Processing Protocol.

Marten van Sinderen, Ing Widya

Browse the full FORTE paper archive.