Operational Specification with Joint Actions: Serializable Databases

Reino Kurki-Suonio. Operational Specification with Joint Actions: Serializable Databases. Distributed Computing, 6(1):19-37, 1992.

Abstract

Abstract is missing.