The linear time - branching time spectrum (1990)

by R J van Glabbeek
Venue:In CONCUR