scientific article; zbMATH DE number 2013193

zbMath1026.68571MaRDI QIDQ4436360

Raymond Devillers, Arend Rensink, Eike Best, Elisabeth Pelz, Enrique Teruel, Manuel Silva

Publication date: 4 December 2003

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

zbMATH Keywords

Petri netsprocess algebrascalculus oriented models of concurrencycausal calculi based on netscausality based algebracausality based models of concurrencyunified behavioural semantics of causality

Mathematics Subject Classification ID

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

This page was built for publication: