Operational Specification with Joint Actions: Serializable Databases

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.