1. Milner, R.: Communicating and mobile systems: the
$$\pi $$
π
-calculus. Cambridge University Press, Cambridge (1999)
2. Milner, R.: The polyadic-calculus: a tutorial. In: Bauer, F.L., Brauer, W. (eds.) Logic and Algebra of Specification, pp. 91–180. Springer, Berlin (1993)
3. Milner, R.: The polyadic
$$\pi $$
π
-calculus: a tutorial. Theor. Comput. Sci. 198, 239–249 (1997)
4. Bu, H., Zhu, R., Chen, S., Tan, X.: Sorting realization of well-ordered sets based on
$$\pi $$
π
-calculus. J. Intell. Fuzzy Syst. 32, 3429–3445 (2017)
5. Bu, H., Chen, S.: The comparison realization of the expressions based on
$$\pi $$
π
-calculus. Energy Educ. Sci. Technol. Part A 33, 1281–1296 (2015)