TTL : a formalism to describe local and global properties of distributed systems

DOI10.1051/ita/1992260201151zbMath0766.68035MaRDI QIDQ3992090

Andrea Maggiolo-Schettini, Andrea Masini

Publication date: 28 June 1992

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92411

zbMATH Keywords

theorem proving; model checking; local time theory; finite-state districuted systems; local and global time theory; typed temporal logic

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

03B45: Modal logic (including the logic of norms)

Cites Work

• The temporal logic of branching time
• Using branching time temporal logic to synthesize synchronization skeletons
• A model and temporal proof system for networks of processes
• A distributed operational semantics of CCS based on condition/event systems
• Modalities for model checking: Branching time logic strikes back
• An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives
• Alternative semantics for temporal logics
• Decision procedures and expressiveness in the temporal logic of branching time
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Deciding full branching time logic
• “Sometimes” and “not never” revisited
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item