1. Lecture Notes in Computer Science;DP Attard,2016
2. Bloom, B.: Structural operational semantics for weak bisimulations. Theoret. Comput. Sci. 146(1), 25–68 (1995)
3. Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can’t be traced. J. ACM 42(1), 232–268 (1995)
4. Francalanza, A.: Consistently-detecting monitors. In: 28th International Conference on Concurrency Theory (CONCUR 2017) (2017, to appear)
5. van Glabbeek, R.J.: The linear time - branching time spectrum I. In: The Semantics of Concrete, Sequential Processes, Chap. 1, pp. 3–100. Elsevier (2001)