Critique of the Lake Arrowhead three

DOI10.1007/BF02276641zbMath0748.68015OpenAlexW2075636567MaRDI QIDQ1193607

Leslie Lamport

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1007/bf02276641

zbMATH Keywords

verificationconcurrencyspecificationLake Arrowhead Workshopdatabase serializability problem

Mathematics Subject Classification ID

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

Related Items (1)

Simulation refinement for concurrency verification

Cites Work

• Unnamed Item
• The existence of refinement mappings

This page was built for publication: Critique of the Lake Arrowhead three