DMCA

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:126 - 6 self