1. Kripke, S.A.: Semantical considerations on modal logic. Acta Phil. Fennica 16(5–6), 83–94 (1963)
2. Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer, Cham (2018).
https://doi.org/10.1007/978-3-319-10575-8
3. Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River (1989)
4. Baeten, J.C.M., Weijland, W.P.: Process Algebra, Cambridge Tracts in Theoretical Computer Science, vol. 18. Cambridge University Press, Cambridge (1990)
5. De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM 42(2), 458–487 (1995)