A Branching Time Logical System for Open Distributed Systems Development

DOI10.1016/S1571-0661(04)80548-6zbMath1261.03082OpenAlexW2000553129MaRDI QIDQ4916209

Carlos H. C. Duarte, Thomas S. E. Maibaum

Publication date: 19 April 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80548-6

zbMATH Keywords

verificationdistributed systemstemporal logicspecificationsoftware development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Branching versus linear logics yet again
• On the interpretability of arithmetic in temporal logic
• Defining liveness
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Temporal theories as modularisation units for concurrent system specification
• A complete deductive-system for since-until branching-time logic
• Can message buffers be axiomatized in linear temporal logic?
• Decidability and incompleteness results for first-order temporal logics of linear time
• Object Specification Logic
• Branching-time logic with quantification over branches: The point of view of modal logic