scientific article

zbMath0986.68090MaRDI QIDQ2766552

Harro Wimmel, Eike Best

Publication date: 17 June 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 (2)

Hasse Diagram Generators and Petri Nets ⋮ Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems

This page was built for publication: