scientific article; zbMATH DE number 5181774
From MaRDI portal
Publication:5754515
zbMath1123.68079MaRDI QIDQ5754515
Fernando Cuartero, David de Frutos, Valentin Valero
Publication date: 22 August 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Algebraic theory of probabilistic and nondeterministic processes. ⋮ A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
This page was built for publication:
