scientific article
From MaRDI portal
Publication:4035680
zbMath0773.68052MaRDI QIDQ4035680
Publication date: 18 May 1993
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 (8)
Concurrent bisimulations in Petri nets ⋮ Normalization of place/transition-systems preserves net behaviour ⋮ Concurrent testing of processes ⋮ Deciding true concurrency equivalences on finite safe nets (preliminary report) ⋮ \(\tau\)-bisimulations and full abstraction for refinement of actions ⋮ Bisimulation and action refinement ⋮ Failures semantics based on interval semiwords is a congruence for refinement ⋮ The box algebra = Petri nets + process expressions
This page was built for publication:
