The linear time – branching time spectrum I (1999)

by R J van Glabbeek
Venue:Handbook of Process Algebra