Joost N. Kok, Jan J. M. M. Rutten. Contractions in Comparing Concurrency Semantics. Theoretical Computer Science, 76(2-3):179-222, 1990.
@article{KokR90, title = {Contractions in Comparing Concurrency Semantics}, author = {Joost N. Kok and Jan J. M. M. Rutten}, year = {1990}, tags = {semantics}, researchr = {https://researchr.org/publication/KokR90}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {76}, number = {2-3}, pages = {179-222}, }