On the Formal Specification of Protocols in Distributed Databases

Günter Karjoth. On the Formal Specification of Protocols in Distributed Databases. In ICCC. pages 479-484, 1986.

Abstract

Abstract is missing.