book-chapter · 2005Operational Semantics of Discrete Systems0 citationsDOI: https://doi.org/10.1007/978-3-540-32008-1_5