Branching vs. Linear Time: Semantical Perspective

DOI10.1007/978-3-540-75596-8_4zbMath1141.68481OpenAlexW1595139336MaRDI QIDQ3510781

Sumit Nain, Moshe Y. Vardi

Publication date: 3 July 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2011/3217/

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Synthesis from Component Libraries ⋮ Observational program calculi and the correctness of translations

Cites Work

• Observation equivalence as a testing equivalence
• Transition system specifications with negative premises
• Bisimulation minimization and symbolic model checking
• The temporal logic of branching time
• Branching versus linear logics yet again
• Specification-oriented semantics for communicating processes
• Trace, failure and testing equivalences for communicating processes
• Characterizing finite Kripke structures in propositional temporal logic
• Circumscription - a form of non-monotonic reasoning
• A calculus of communicating systems
• Experimenting with process equivalence
• The Esterel synchronous programming language: Design, semantics, implementation
• Basic observables for processes
• Testing equivalences for processes
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• “Sometimes” and “not never” revisited
• Algebraic laws for nondeterminism and concurrency
• The complexity of propositional linear temporal logics
• Bisimulation can't be traced
• The meaning of negative premises in transition system specifications
• What are the Fundamental Structures of Concurrency?
• From Liveness to Promptness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Branching vs. Linear Time: Semantical Perspective