Publisher
Springer Nature Switzerland
Reference24 articles.
1. Abadi, M., Blanchet, B., Fournet, C.: The applied pi calculus: mobile values, new names, and secure communication. J. ACM 65(1), 1–41 (2017)
2. ABZ—Rigorous State Based Methods. https://abz-conf.org/. A conference series dedicated to the use of state-based formal methods
3. Bergstra, J., Klop, J.W.: Algebra of communicating processes with abstractions. Theoret. Comput. Sci. 37(1), 77–121 (1985)
4. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A theory of processes with localities. Formal Aspects Comput. 6(2), 165–200 (1994)
5. Cardelli, L., Gordon, A.: Mobile ambients. Theor. Comput. Sci. 240(1), 177–213 (2000)