scientific article
From MaRDI portal
Publication:3142557
zbMath0783.68042MaRDI QIDQ3142557
No author found.
Publication date: 9 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
A note on the complexity of deciding bisimilarity of normed unary processes ⋮ On reachability equivalence for BPP-nets ⋮ An algebra of behavioural types ⋮ Complete SAT-Based Model Checking for Context-Free Processes ⋮ Constrained properties, semilinear systems, and Petri nets ⋮ Behavioural equivalence for infinite systems — Partially decidable! ⋮ Deciding bisimulation and trace equivalences for systems with many identical processes ⋮ Pushdown processes: Games and model-checking
