Concurrency and communication in transaction logic (1995)

by A J Bonner, M Kifer
Venue:In Proc. ICDT’95