scientific article
From MaRDI portal
Publication:3814798
zbMath0663.68039MaRDI QIDQ3814798
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsPetri netspartial order semanticsnon-sequential systemslinear time temporal logic for interleaving
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)
Related Items (max. 100)
Logics and decidability for labelled pre- and partially ordered Kripke structures ⋮ Detecting causal relationships in distributed computations: In search of the holy grail ⋮ 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
This page was built for publication:
