Correspondence assertions for process synchronization in concurrent communications

Journal of Functional Programming

Volumn 15, Issue 2, 2005, Pages 219-247

  Bonelli, Eduardo ^a,b   Compagnoni, Adriana ^a   Gunter, Elsa ^c  

^a STEVENS INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^c University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; DATA EXCHANGE; INFORMATION SOURCE; PROTOCOL SPECIFICATION;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; DATA ACQUISITION; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA; SOFTWARE ENGINEERING; SYNCHRONIZATION;

COMMUNICATION SYSTEMS;

EID: 17044434267     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S095679680400543X     Document Type: Article

References (23)

1. Barendregt, H. (1992) Lambda calculi with types. In: Abramsky, S., Gabbay, D. M. and Maibaum, T. S. E. (eds.), Handbook of Logic in Computer Science: Background - Computational Structures (Volume 2), pp. 117-309. Clarendon Press.
2. Cervesato, I. and Pfenning, F. (2002) A linear logical framework. Infor. & Computation, 179(1), 19-75.
3. Chaki, S., Rajamani, S. and Rehof, J. (2002) Types as models: Model checking message-passing programs. Proc. 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 45-57. ACM.
4. Clarke, E. and Marrero, W. (1998) Using formal methods for analyzing security. Information Survivability Workshop.
5. Gay, S. and Hole, M. (1999) Types and subtypes for client-server interactions. Proc. European Symposium on Programming Languages and Systems: Lecture Notes in Computer Science 1576, pp. 74-90. Springer-Verlag.
6. Gay, S., Vasconcelos, V. and Ravara, A. (2003) Session types for inter-process communication. Technical report TR-2003-133, Department of Computing Science, University of Glasgow.
7. Girard, J.-Y. (1987) Linear Logic. Theor. Comput. Sci. 1-102.
8. Gordon, A. and Jeffrey, A. (2003a) Authenticity by typing for security protocols. J. Comput. Security, 11(4), 451-521.
9. Gordon, A. and Jeffrey, A. (2003b) Typing correspondence assertions for communication protocols. Theor. Comput. Sci. 300, 379-409.
10. Gordon, M. J.C. and Melham, T. F. (1993) Introduction to HOL: A theorem proving environment for higher-order logic. Cambridge University Press.
11. Hole, M. and Gay, S. (2003) Bounded polymorphism in session types. Technical report TR-2003-132, Department of Computing Science, University of Glasgow.
12. Honda, K., Kubo, M. and Takeuchi, K. (1994) An interaction-based language and its typing system. Proc. PARLE'94: Lecture Notes in Computer Science 817, pp. 398-413. Springer-Verlag.
13. Honda, K., Vasconcelos, V. and Kubo, M. (1998) Language primitives and type discipline for structured communication-based programming. Proc. ESOP'98: Lecture Notes in Computer Science, pp. 122-138. Springer-Verlag.
14. Igarashi, A. and Kobayashi, N. (2004) A generic type system for the pi-calculus. Theor. Comput. Sci. 311(1-3), 121-163.
15. Kobayashi, N. (1998) A partially deadlock-free type process calculus. ACM Trans. Program. Lang. & Syst. (TOPLAS), 20(2).
16. Kobayashi, N., Pierce, B. C. and Turner, D. N. (1999) Linearity and the pi-calculus. ACM Trans. Program. Lang. & Syst. 21(5), 914-947.
17. Pjerce, B. and Sangiorgi, D. (1996) Typing and subtyping for mobile processes. Mathematical Structures in Comput. Science, 6(5).
18. Puntigam, F. (1996) Synchronization expressed in the types of communication channels. Proc. EURO-PAR'96: Lecture Notes in Computer Science 1123, pp. 762-769. Springer-Verlag.
19. Turner, D. (1995) The polymorphic pi-calculus: Theory and implementation. PhD thesis, University of Edinburgh.
20. Vallecillo, A., Vasconcelos, V. and Ravara, A. (2003) Typing the behavior of objects and component using session types. Electr. Notes in Theor. Comput. Sci. 68(3).
21. Woo, T. and Lam, S. (1993) A semantic model for authentication protocols. Proc. IEEE Symposium on Security and Privacy, pp. 178-194.
22. Yoshida, N. (1996) Graph types for monadic mobile processes. FST/TCS'16: Lecture Notes in Computer Science 1180, pp. 371-386. Springer-Verlag.
23. Z.120, ITU-T Recommendation. (1996) Message sequence chart (MSC).