Operational specification with joint actions: Serializable databases

DOI10.1007/BF02276639zbMATH Open0748.68013MaRDI QIDQ1193603FDOQ1193603

Authors: Reino Kurki-Suonio 

Publication date: 27 September 1992

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

Recommendations

• Real-time specification and modeling with joint actions
• Generalized theory of serializability
• Algebraic and functional specification of an interactive serializable database interface
• A transaction-based approach to relational database specification
• Serialization of concurrent programs

zbMATH Keywords

reactive systemssuperpositionspecification languagesexecutable specificationsJoint actionsLake Arrowhead Workshopserializable databases

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• The existence of refinement mappings
• The notions of consistency and predicate locks in a database system
• Termination detection for diffusing computations
• Defining liveness
• Distributed cooperation with action systems
• Protocol Verification via Projections
• Title not available (Why is that?)
• Implementing specification freedoms

Cited In (2)

• Action systems in incremental and aspect-oriented modeling
• Algebraic and functional specification of an interactive serializable database interface

Uses Software

• LOTOS
• UNITY

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1193603)