The Linear Time – Branching Time Spectrum I. In: (2001)

by R J van Glabbeek
Venue:Handbook of Process Algebra, Elsevier,