Algebraic and functional specification of an interactive serializable database interface

DOI10.1007/BF02276638zbMath0748.68011MaRDI QIDQ1193602

Manfred Broy

Publication date: 27 September 1992

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

zbMATH Keywords

databasealgebraic specificationinteractive systemsserializabilityLake Arrowhead Workshop

Mathematics Subject Classification ID

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

Related Items (1)

Algebraic specification of concurrent systems

Cites Work

• Predicative specifications for functional programs describing communicating networks
• On hierarchies of abstract data types
• Top-down design and the algebra of communicating processes
• A calculus of communicating systems
• The notions of consistency and predicate locks in a database system
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic and functional specification of an interactive serializable database interface