Author:
Given-Wilson Thomas,Legay Axel
Publisher
Springer International Publishing
Reference58 articles.
1. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: the spi calculus. In: Proceedings of the 4th ACM Conference on Computer and Communications Security, CCS 1997, pp. 36–47. ACM, New York (1997)
2. Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Log. Methods Comput. Sci. 7(1) (2011)
3. Bengtson, J., Parrow, J.: Formalising the pi-calculus using nominal logic. Log. Methods Comput. Sci. 5(2), 63–77 (2009)
4. Bocchi, L., Wischik, L.: A process calculus of atomic commit. Electron. Notes Theor. Comput. Sci. 105, 119–132 (2004). Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004)
5. IFIP — The International Federation for Information Processing;M Boreale,1998