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

DOI10.1051/ita/1992260201151zbMath0766.68035OpenAlexW1198182MaRDI 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 provingmodel checkinglocal time theoryfinite-state districuted systemslocal and global time theorytyped temporal logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45)

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

This page was built for publication: TTL : a formalism to describe local and global properties of distributed systems