scientific article; zbMATH DE number 604884
From MaRDI portal
Publication:4299862
zbMath0810.68093MaRDI QIDQ4299862
Publication date: 4 April 1995
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)
Related Items
Branching time and orthogonal bisimulation equivalence ⋮ A generic framework for checking semantic equivalences between pushdown automata and finite-state automata ⋮ Characteristic invariants in Hennessy-Milner logic ⋮ An algebraic semantics for hierarchical P/T nets ⋮ Rooted branching bisimulation as a congruence ⋮ Deciding orthogonal bisimulation ⋮ Nonprimitive recursive complexity and undecidability for Petri net equivalences ⋮ A brief history of process algebra ⋮ The compression structure of a process