Publication:4657057
From MaRDI portal
zbMath1059.93083MaRDI QIDQ4657057
Alessandro Giua, Carla Seatzu, M. Teresa Pilloni, Roberta Armosini
Publication date: 14 March 2005
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)