scientific article
From MaRDI portal
Publication:3753474
zbMath0612.68023MaRDI QIDQ3753474
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence), Concurrent testing of processes, Concurrency and atomicity, Step semantics for ``true concurrency with recursion, Universal axioms for bisimulations, Step failures semantics and a complete proof system, The connection between an event structure semantics and an operational semantics for TCSP
