scientific article

zbMath0983.68133MaRDI QIDQ2767184

Suzana Andova

Publication date: 28 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

SOS specifications for uniformly continuous operators ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets

This page was built for publication: