1. Abramsky, S.: Proofs as processes. Theoret. Comput. Sci. 135(1), 5–9 (1994)
2. Alexandru, C., Clutterbuck, D., Papapanagiotou, P., Fleuriot, J., Manataki, A.: A Step Towards the Standardisation of HIV Care Practices, November 2016
3. Bellin, G., Scott, P.: On the $$\pi $$ -calculus and linear logic. TCS 135(1), 11–65 (1994)
4. Bog, A., Puhlmann, F.: A tool for the simulation of $$\pi $$ -calculus systems. Tech. rep., Open.BPM, Geschäftsprozessmanagement mit Open Source-Technologien, Hamburg, Germany (2006)
5. Boulton, R.J., Gordon, A.D., Gordon, M.J.C., Harrison, J., Herbert, J., Tassel, J.V.: Experience with embedding hardware description languages in HOL. In: Stavridou, V., Melham, T.F., Boute, R.T. (eds.) TPCD. IFIP Transactions, vol. A-10, pp. 129–156. North-Holland (1992)