scientific article; zbMATH DE number 1435986
From MaRDI portal
Publication:4948015
zbMath0942.68083MaRDI QIDQ4948015
Publication date: 21 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
Tissue Systems and Petri Net Synthesis ⋮ Step semantics of Boolean nets ⋮ Modelling concurrency with comtraces and generalized comtraces ⋮ Relational structures model of concurrency ⋮ Synthesis of Nets with Step Firing Policies ⋮ Synthesising elementary net systems with localities
This page was built for publication:
