N. Lynch;R. Segala
-;-
Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Fair simulation
Information and Computation