A comparison of simulation techniques and algebraic techniques for verifying concurrent systems (1995)

by Nancy A Lynch, Roberto Segala
Venue:in Proceedings of the Second North American Process Algebra Workshop