Proving possibility properties

DOI10.1016/S0304-3975(98)00129-7zbMath0909.68038MaRDI QIDQ1276319

Leslie Lamport

Publication date: 2 February 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

temporal logic of actions

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Recognizing safety and liveness
• Specifying modules to satisfy interfaces: A state transition system approach
• Ten Years of Hoare's Logic: A Survey—Part I

This page was built for publication: Proving possibility properties