scientific article; zbMATH DE number 1973126

zbMath1017.68072MaRDI QIDQ4421727

M. Bednarczyk, Eric Badouel, Philippe Darondeau

Publication date: 1 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2128/21280304.htm

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 (1)

Partial Order Semantics of Types of Nets

This page was built for publication: