scientific article; zbMATH DE number 4185040
From MaRDI portal
Publication:5750408
zbMath0718.68049MaRDI QIDQ5750408
Pierpaolo Degano, Philippe Darondeau
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
branching bisimulationsemantics of concurrencyrefinement of actionsCausal Treesconcurrent/distributed systemsSynchronization Trees
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items
Branching bisimilarity is an equivalence indeed! ⋮ Concurrent testing of processes ⋮ A reduced maximality labeled transition system generation for recursive Petri nets ⋮ Refinement of actions in event structures and causal trees
