Operational specification with joint actions: Serializable databases

DOI10.1007/BF02276639zbMath0748.68013MaRDI QIDQ1193603

Reino Kurki-Suonio

Publication date: 27 September 1992

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

specification languagessuperpositionreactive systemsexecutable specificationsJoint actionsLake Arrowhead Workshopserializable databases

Mathematics Subject Classification ID

Database theory (68P15) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Action systems in incremental and aspect-oriented modeling

Uses Software

• LOTOS
• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence of refinement mappings
• Defining liveness
• Statecharts: a visual formalism for complex systems
• Termination detection for diffusing computations
• Implementing specification freedoms
• Protocol Verification via Projections
• Distributed cooperation with action systems
• The notions of consistency and predicate locks in a database system

This page was built for publication: Operational specification with joint actions: Serializable databases