scientific article

zbMath1271.68177MaRDI QIDQ2847419

Pieter J. L. Cuijpers, Michel Reniers

Publication date: 9 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610405100X

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

Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Hybrid process algebra ⋮ Process algebra for hybrid systems ⋮ Safe \& robust reachability analysis of hybrid systems ⋮ Topological Aspects of Hybrid Processes

This page was built for publication: