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.)