scientific article
From MaRDI portal
Publication:3030238
zbMath0626.68021MaRDI QIDQ3030238
Rocco De Nicola, Alessandro Fantechi, Luca Aceto
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallelismconcurrencycommunicating systemsatomic observationssemantic models for concurrent systems
Related Items (8)
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence) ⋮ Concurrency and atomicity ⋮ Composition methods for constructing characteristic formulas for dense-time models ⋮ Step semantics for ``true concurrency with recursion ⋮ Testing equivalences of time Petri nets ⋮ Causal automata ⋮ Universal axioms for bisimulations ⋮ Analysis of equivalence relations of event structures with continuous time
This page was built for publication:
