A Calculus of Global Interaction based on Session Types

Electronic Notes in Theoretical Computer Science

Volumn 171, Issue 3, 2007, Pages 127-151

  Carbone, Marco ^a   Honda, Kohei ^b   Yoshida, Nobuko ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Communication Centred Programming; Session Types; Web Services; Calculus

Indexed keywords

CONCURRENT ENGINEERING; NETWORK PROTOCOLS; OBJECT ORIENTED PROGRAMMING; WEB SERVICES;

CHOREOGRAPHY DESCRIPTION LANGUAGE (CDL); COMMUNICATION CENTRED PROGRAMMING; PROCESS SYNCHRONIZATION; SESSION TYPES;

COMPUTER SCIENCE;

EID: 34249814296     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.12.041     Document Type: Article

References (23)

1. Alur R., Etessami K., and Yannakakis M. Realizability and verification of msc graphs. Theoretical Computer Science 331 (2005) 97-114
2. Baeten, J., H. van Beek and S. Mauw, Specifying internet applications with DiCons, in: SAC'01 (2001), pp. 576-584
3. Benton N., Cardelli L., and Fournet C. Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26 (2004) 769-804
4. Berry G., and Boudol G. The Chemical Abstract Machine. TCS 96 (1992) 217-248
5. Bhargavan, K., C. Fournet and A. Gordon, Verified reference implementations of WS-Security protocols, in: WS-FN'06, LNCS, 2006
6. Bonelli E., Compagnoni A.B., and Gunter E.L. Correspondence assertions for process synchronization in concurrent communications. JFP 15 (2005) 219-247
7. Briais, S. and U. Nestmann, A formal semantics for protocol narrations, in: TGC, 2005, pp. 163-181
8. Busi N., Gorrieri R., Guidi C., Lucchi R., and Zavattaro G. Choreography and orchestration conformance for system design. Coodination. LNCS 4038 (2006) 63-81
9. Carbone, M., K. Honda, N. Yoshida, R. Milner, G. Brown and S. Ross-Talbot, A theoretical basis of communication-centred concurrent programming, To be published by W3C. Available at http://www.dcs.qmul.ac.uk/~carbonem/cdlpaper/workingnote.pdf (2006)
10. Dezani-Ciancaglini, M., D. Mostrous, N. Yoshida and S. Drossopoulou, Session Types for Object-Oriented Languages, in: Proceedings of ECOOP'06, LNCS, 2006
11. Gay S., and Hole M. Subtyping for session types in the pi calculus. Acta Informatica 42 (2005) 191-225
12. Guidi, C., R. Lucchi, G. Zavattaro, N. Busi and R. Gorrieri, Sock: a calculus for service oriented computing, in: ICSOC '06, LNCS, 2006
13. Guttman, J.D., F.J. Thayer and L.D. Zuck, The faithfulness of abstract protocol analysis: message authentication, in: CCS '01: Proceedings of the 8th ACM conference on Computer and Communications Security (2001), pp. 186-195
14. Henriksen J.G., Mukund M., Kumar K.N., Sohoni M.A., and Thiagarajan P.S. A theory of regular msc languages. Information and Computation 202 (2005) 1-38
15. Honda K., Vasconcelos V., and Kubo M. Language primitives and type disciplines for structured communication-based programming. ESOP'98. LNCS 1381 (1998) 22-138
16. Laneve C., and Padovani L. Smooth orchestrators. FoSSaCS'06. LNCS 3921 (2006) 32-46
17. Milner R. Functions as processes. MSCS 2 (1992) 119-141
18. Pierce B.C. Types and Programming Languages (2002), MIT Press
19. Pierce B.C., and Turner D.N. Pict: A programming language based on the pi-calculus. Proof, Language and Interaction: Essays in Honour of Robin Milner (2000), MIT Press
20. Takeuchi K., Honda K., and Kubo M. An interaction-based language and its typing system. PARLE'94. LNCS 817 (1994) 398-413
21. van der Aalst W. Inheritance of interorganizational workflows: How to agree to disagree without loosing control?. Info. Tech. and Management J. 2 (2002) 195-231
22. Vasconcelos V., Ravara A., and Gay S.J. Session types for functional multithreading. CONCUR'04. LNCS 3170 (2004) 497-511
23. W3C WS-CDL Working Group. Web services choreography description language version 1.0. http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/