The linear time - branching time spectrum ii (1993)

by R J Van Glabbeek
Venue:In CONCUR ’93: Proceedings of the 4th International Conference on Concurrency Theory