The Linear Time-Branching Time Spectrum I - The Semantics of Concrete, Sequential Processes (0)

by R.J. van Glabbeek
Venue:Handbook of Process Algebra, chapter 1
Citations:94 - 4 self