scientific article
From MaRDI portal
Publication:3975177
zbMath0755.68098MaRDI QIDQ3975177
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
An extension of the notions of traces and of asynchronous automata ⋮ On nets, algebras and modularity ⋮ Abstract processes of place/transition systems ⋮ Connectedness and synchronization ⋮ Abstract processes and conflicts in place/transition systems ⋮ On Causal Semantics of Petri Nets ⋮ On the Analysis of Petri Nets and their Synthesis from Process Languages ⋮ Axiomatizing the subsumption and subword preorders on finite and infinite partial words
This page was built for publication:
