Correspondence assertions for process synchronization in concurrent communications

Electronic Notes in Theoretical Computer Science

Volumn 97, Issue , 2004, Pages 175-195

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

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^b STEVENS INSTITUTE OF TECHNOLOGY   (United States)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Concurrent programming; Correspondence assertions; Pi calculus; Session types; Type systems

Indexed keywords

CONCURRENT PROGRAMMING; CORRESPONDENCE ASSERTIONS; PI-CALCULUS; SESSION TYPES; TYPE SYSTEMS;

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; INTERNET; NETWORK PROTOCOLS; SYNCHRONIZATION;

CONCURRENT ENGINEERING;

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

References (23)

1. Barendregt H.P. Lambda calculi with types. Abramsky S, Gabbay D.M, Maibaum T.S.E. Handbook of Logic in Computer Science: Background - Computational Structures (Volume 2). 1992;117-309 Clarendon Press, Oxford
2. Bonelli, E., A. Compagnoni and E. Gunter, Correspondence assertions for process synchronization in concurrent communications, Technical Report 2003-7, Department of Computer Science, Stevens Institute of Technology (2003)
3. Cervesato I, Pfenning F. A linear logical framework. Information and Computation. 179:2002;19-75
4. Chaki S, Rajamani S, Rehof J. Types as models: Model checking message-passing programs. Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2002;45-57
5. Clarke E, Marrero W. Using formal methods for analyzing security. Information Survivability Workshop. 1998
6. Gay S, Hole M. Types and subtypes for client-server interactions. Proceedings of the European Symposium on Programming Languages and Systems. LNCS. number 1576:1999;74-90
7. 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)
8. Girard J.-Y. Linear logic. Theoretical Computer Science. 1987;1-102
9. Gordon A, Jeffrey A. Authenticity by typing for security protocols. 14th IEEE Computer Security Foundations Workshop. 2001;145-159
10. Gordon A, Jeffrey A. Typing correspondence assertions for communication protocols. Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2001). ENTCS. number 45:2001
11. Gordon M, Melham T. Introduction to HOL: A theorem proving environment for higher-order logic. 1993;CUP, Cambridge
12. Hole, M. and S. Gay, Bounded polymorphism in session types, Technical Report TR-2003-132, Department of Computing Science, University of Glasgow (2003)
13. Honda K, Kubo M, Takeuchi K. An interaction-based language and its typing system. Proc. of PARLE'94. LNCS. number 817:1994;398-413
14. Honda K, Vasconcelos V, Kubo M. Language primitives and type discipline for structured communication-based programming. Proc. of ESOP'98. LNCS. 1998;122-138
15. Igarashi A, Kobayashi N. A generic type system for the pi-calculus. Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2001;128-141
16. Kobayashi N. A partially deadlock-free type process calculus. Proceedings of the Twelth Annual IEEE Symposium on Logic in Computer Science. 1997;128-139
17. Kobayashi N, Pierce B, Turner D. Linearity in the pi-calculus. Proceedings of the 23rd ACM Symposium on Principles of Programming Languages. 1996;358-371
18. Pierce B, Sangiorgi D. Typing and subtyping for mobile processes. Proceedings of the Eighth Annual IEEE Symposium on Logic in Computer Science. 1993;376-385
19. Puntigam F. Synchronization expressed in the types of communication channels. Proceedings of the EURO-PAR'96. LNCS. number 1123:1996;762-769
20. Turner, D., "The Polymorphic Pi-Calculus: Theory and Implementation," Ph.D. thesis, University of Edinburgh (1995)
21. Vallecillo A, Vasconcelos V, Ravara A. Typing the behavior of objects and component using session types. Electronic Notes in Theoretical Computer Science. 68:2003
22. Woo T, Lam S. A semantic model for authentication protocols. Proceedings of the IEEE Symposium on Security and Privacy. 1993;178-194
23. Yoshida N. Graph types for monadic mobile processes. FST/TCS'16. LNCS. number 1180:1996;371-386