scientific article
From MaRDI portal
Publication:4015945
zbMath0770.68084MaRDI QIDQ4015945
Publication date: 10 November 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrencyevent structuresbranching time semanticssemantics of parallelismrefinement of actionsback and forth bisimulation
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (4)
Behavioural characterizations of partial order logics ⋮ Schedulers and Finishers: On Generating the Behaviours of an Event Structure ⋮ A Logic for True Concurrency ⋮ Schedulers and finishers: on generating and filtering the behaviours of an event structure
This page was built for publication:
