Branching vs. Linear Time: Semantical Perspective

DOI10.1007/978-3-540-75596-8_4MaRDI QIDQ3510781zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Branching time and abstraction in bisimulation semantics
• scientific article; zbMATH DE number 1536555
• Unifying the linear time-branching time spectrum of process semantics
• Linear time and branching time semantics for recursion with merge

Cites work

• A calculus of communicating systems
• Algebraic laws for nondeterminism and concurrency
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Basic observables for processes
• Bisimulation can't be traced
• Bisimulation minimization and symbolic model checking
• Branching versus linear logics yet again
• Characterizing finite Kripke structures in propositional temporal logic
• Circumscription - a form of non-monotonic reasoning
• Experimenting with process equivalence
• From Liveness to Promptness
• scientific article; zbMATH DE number 1705164 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 3919813 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 177509 (Why is no real title available?)
• scientific article; zbMATH DE number 3495581 (Why is no real title available?)
• scientific article; zbMATH DE number 1222559 (Why is no real title available?)
• scientific article; zbMATH DE number 1304989 (Why is no real title available?)
• scientific article; zbMATH DE number 2080056 (Why is no real title available?)
• scientific article; zbMATH DE number 1927580 (Why is no real title available?)
• scientific article; zbMATH DE number 4119616 (Why is no real title available?)
• scientific article; zbMATH DE number 918600 (Why is no real title available?)
• scientific article; zbMATH DE number 1392300 (Why is no real title available?)
• scientific article; zbMATH DE number 3248552 (Why is no real title available?)
• Observation equivalence as a testing equivalence
• Specification-oriented semantics for communicating processes
• Testing equivalences for processes
• The complexity of propositional linear temporal logics
• The Esterel synchronous programming language: Design, semantics, implementation
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The meaning of negative premises in transition system specifications
• The temporal logic of branching time
• Trace, failure and testing equivalences for communicating processes
• Transition system specifications with negative premises
• What are the fundamental structures of concurrency? We still don't know!
• “Sometimes” and “not never” revisited

Cited in

(11)

• Linear time and branching time semantics for recursion with merge
• A linear-time-branching-time spectrum for behavioral specification theories
• Observational program calculi and the correctness of translations
• Which branching-time properties are effectively linear?
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Unifying the linear time-branching time spectrum of process semantics
• Synthesis from Component Libraries
• scientific article; zbMATH DE number 604884 (Why is no real title available?)
• Branching time and abstraction in bisimulation semantics
• scientific article; zbMATH DE number 1536555 (Why is no real title available?)
• scientific article; zbMATH DE number 1860680 (Why is no real title available?)

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

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