A Branching Time Logical System for Open Distributed Systems Development

DOI10.1016/S1571-0661(04)80548-6MaRDI QIDQ4916209zbMATH OpenOpenAlexFDO

Authors Carlos H. C. Duarte, Tim 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

distributed systemssoftware developmentspecificationtemporal logicverification

Mathematics Subject Classification ID

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

Recommendations

• Logical time in distributed software systems
• scientific article; zbMATH DE number 1973023
• Frontiers of Combining Systems
• The temporal logic of branching time
• scientific article; zbMATH DE number 3902010
• scientific article; zbMATH DE number 517246
• scientific article; zbMATH DE number 1302050
• scientific article; zbMATH DE number 1377375

Cites work

• A complete deductive-system for since-until branching-time logic
• Branching versus linear logics yet again
• Branching-time logic with quantification over branches: The point of view of modal logic
• Can message buffers be axiomatized in linear temporal logic?
• Decidability and incompleteness results for first-order temporal logics of linear time
• Defining liveness
• scientific article; zbMATH DE number 3985193 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 4119598 (Why is no real title available?)
• scientific article; zbMATH DE number 830431 (Why is no real title available?)
• scientific article; zbMATH DE number 910717 (Why is no real title available?)
• Object Specification Logic
• On the interpretability of arithmetic in temporal logic
• Temporal theories as modularisation units for concurrent system specification
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

Cited in

(1)

• scientific article; zbMATH DE number 517246 (Why is no real title available?)

This page was built for publication: A Branching Time Logical System for Open Distributed Systems Development

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