The linear time - branching time spectrum II: the semantics of sequential processes with silent moves (1993)

by R J van Glabbeek
Venue:Proceedings of the 4th Conference on Concurrency Theory (CONCUR’93