Typechecking safe process synchronization

Electronic Notes in Theoretical Computer Science

Volumn 138, Issue 1, 2005, Pages 3-22

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

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^b STEVENS INSTITUTE OF TECHNOLOGY   (United States)

^c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

calculus; Concurrency; Type systems; Typechecking

Indexed keywords

COMMUNICATION SESSIONS; CONCURRENCY; MULTI-PARTY COMMUNICATION; PROCESS SYNCHRONIZATION; TYPECHECKING ALGORITHM; TYPESYSTEMS;

ALGORITHMS; NETWORK PROTOCOLS; SECURITY OF DATA; SYNCHRONIZATION;

TELECOMMUNICATION SYSTEMS;

EID: 24344483453     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.05.002     Document Type: Conference Paper

References (23)

1. E. Bonelli, A. Compagnoni, and E. Gunter Correspondence assertions for process synchronization in concurrent communications A. Brogi J.-M. Jacquet E. Pimentel FOCLASA 2003. 2nd International Workshop on Foundations of Coordination Languages and Software Architectures Electronic Notes in Theoretical Computer Science 97 2003 175 195
2. Bonelli, E., A. Compagnoni and E. Gunter, Correspondence assertions for process synchronization in concurrent communications, Technical Report 2003-8, Department of Computer Science, Stevens Institute of Technology (2003)
3. Bonelli, E., A. Compagnoni and E. Gunter, Typechecking safe process synchronization, Technical Report 2004-3, Department of Computer Science, Stevens Institute of Technology (2004)
4. E. Bonelli, A. Compagnoni, and E. Gunter Correspondence assertions for process synchronization in concurrent communications Journal of Functional Programming 15 2005 Special issue on Language-Based Security
5. I. Cervesato, and F. Pfenning A linear logical framework Information and Computation 179 2002 19 75
6. Chaki, S., S. Rajamani and J. Rehof, Types as models: Model checking message-passing programs, in: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2002), pp. 45-57
7. Gay, S., A sort inference algorithm for the polyadic pi-calculus, in: Proc. of the 20th ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages (1993), pp. 429-438
8. S. Gay, and M. Hole Types and subtypes for client-server interactions Proceedings of the European Symposium on Programming Languages and Systems LNCS number 1576 1999 74 90
9. Gay, S., V. Vasconcelos and A. Ravara, Session types for inter-process communication, Technical Report TR-2003-133, Department of Computing Science, University of Glasgow (2003)
10. J.-Y. Girard Linear Logic Theoretical Computer Science 1987 1 102
11. Gordon, A. and A. Jeffrey, Authenticity by typing for security protocols, in: 14th IEEE Computer Security Foundations Workshop (2001), pp. 145-159
12. A. Gordon, and A. Jeffrey Typing correspondence assertions for communication protocols Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001), number 45 in ENTCS (2001)
13. A. Gordon, and A. Jeffrey Authenticity by typing for security protocols Journal of Computer Security 11 2003 451 521
14. A. Gordon, and A. Jeffrey Typing correspondence assertions for communication protocols Theoretical Computer Science 300 2003 379 409
15. M.J. Gordon, and T.F. Melham Introduction to HOL: A theorem proving environment for higher-order logic 1993 CUP Cambridge
16. Hole, M. and S. Gay, Bounded polymorphism in session types, Technical Report TR-2003-132, Department of Computing Science, University of Glasgow (2003)
17. K. Honda, M. Kubo, and K. Takeuchi An interaction-based language and its typing system Proceedings of PARLE'94 LNCS number 817 1994 398 413
18. K. Honda, V. Vasconcelos, and M. Kubo Language primitives and type discipline for structured communication-based programming Proceedings of ESOP'98 LNCS 1998 122 138
19. Igarashi, A. and N. Kobayashi, A generic type system for the pi-calculus, in: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2001), pp. 128-141
20. A. Igarashi, and N. Kobayashi A generic type system for the pi-calculus Theoretical Computer Science 311 2004 121 163
21. Kobayashi, N., Type-based analyzer for the pi-calculus, posted on MOCA mailing list (23 of July, 2004)
22. A. Vallecillo, V. Vasconcelos, and A. Ravara Typing the behavior of objects and component using session types Electronic Notes in Theoretical Computer Science 68 2003
23. Woo, T. and S. Lam, A semantic model for authentication protocols, in: Proceedings of the IEEE Symposium on Security and Privacy, 1993, pp. 178-194