Publisher
Springer Nature Singapore
Reference15 articles.
1. Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)
2. Milner, R.: Communicating and Mobile Systems: the $$\pi $$-Calculus. Cambridge University Press, UK (1999)
3. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley, New York (1979)
4. Cassandras C.G., Lafortune, S.: Introduction to Discrete Event Systems (Third Edition). Springer Nature Switzerland AG (2021)
5. Liu, G.J., Jiang, C.J.: Secure bisimulation for interactive systems. In: the 15th International Conference on Algorithms and Architectures for Parallel Processing, pp. 625–639 (2015)