scientific article
From MaRDI portal
Publication:3527017
zbMath1155.68043MaRDI QIDQ3527017
Maciej Koutny, H. C. M. Kleijn
Publication date: 25 September 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (9)
Approximations of arbitrary relations by partial orders ⋮ On Interval Process Semantics of Petri Nets with Inhibitor Arcs ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Relational structures for concurrent behaviours ⋮ Step traces
This page was built for publication:
