Publisher
Springer International Publishing
Reference40 articles.
1. Arun-Kumar, S., Hennessy, M.: An efficiency preorder for processes. Acta Inform. 29, 737–760 (1992)
2. Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, Cambridge (2010)
3. Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: Ready-trace semantics for concrete process algebra with the priority operator. Comput. J. 30(6), 498–506 (1987)
4. Baeten, J.C.M., Luttik, B.: Unguardedness mostly means many solutions. Theor. Comput. Sci. 412(28), 3090–3100 (2011)
5. Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can’t be traced. J. ACM 42(1), 232–268 (1995)