A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
The complexity of parallel systems has produced a large collection of semantics for processes. Van Glabbeek's linear time-branching time spectrum provides a classification of most of these semantics; however, no suitable unified definitions were available. We have discovered how to unify them, both in an observational framework and in an equational framework. In this first part of our study we present the observational semantics, that stresses the differences between the simulation (branching)doi:10.1007/978-3-540-95891-8_27 fatcat:vviuy46pojbphjynusk6pj7ljq