Publication:2847419
From MaRDI portal
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Topological Aspects of Hybrid Processes, Hybrid process algebra, Process algebra for hybrid systems, Safe \& robust reachability analysis of hybrid systems, Rigorous Discretization of Hybrid Systems Using Process Calculi