scientific article; zbMATH DE number 4085006

MaRDI QIDQ3814798zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 1988

zbMATH Keywords

concurrent systemslinear time temporal logic for interleavingnon-sequential systemspartial order semanticsPetri nets

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4119658
• scientific article; zbMATH DE number 218548
• A logic for true concurrency
• scientific article; zbMATH DE number 176158
• A logic for true concurrency

Cited in

(17)

• Defining conditional independence using collapses
• On undecidability of propositional temporal logics on trace systems
• Verification of distributed programs using representative interleaving sequences
• Proving partial order properties
• Logics and decidability for labelled pre- and partially ordered Kripke structures
• Detecting causal relationships in distributed computations: In search of the holy grail
• Time-reversal homotopical properties of concurrent systems
• Temporal logic and state systems
• A Temporal Logic for Multi-threaded Programs
• scientific article; zbMATH DE number 4110070 (Why is no real title available?)
• scientific article; zbMATH DE number 176158 (Why is no real title available?)
• Temporal approach to causal knowledge
• scientific article; zbMATH DE number 4119658 (Why is no real title available?)
• scientific article; zbMATH DE number 1424541 (Why is no real title available?)
• Temporal causality in reactive systems
• Modelling causality via action dependencies in branching time semantics
• Temporal semantics for concurrent METATEM

This page was built for publication:

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