Publication:3805921
From MaRDI portal
zbMath0657.68067MaRDI QIDQ3805921
Publication date: 1988
behaviour; labelled event structures; configuration system; marked Petri nets; place/transition system; configuration of events; execution of transition; independence of executions
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items