On progress for structured communications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4912 LNCS, Issue , 2008, Pages 257-275

  Dezani Ciancaglini, Mariangiola ^a   De'Liguoro, Ugo ^a   Yoshida, Nobuko ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CHANNEL USAGE; INTERFERED SESSIONS;

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTATION THEORY; PARALLEL PROCESSING SYSTEMS;

COMMUNICATION SYSTEMS;

EID: 41549094091     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78663-4_18     Document Type: Conference Paper

References (25)

1. Beaton, J., Weijiland, W.: Process Algebra. Cambridge Tracks in Theoretical Computer Science. In: CUP, vol. 18 (2000)
2. Bonelli, E., Compagnoni, A., Gunter, E.: Correspondence Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming 15(2), 219-248 (2005)
3. Briais, S., Nestmann, U.: A Formal Semantics for Protocol Narrations. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 163-181. Springer, Heidelberg (2005)
4. Caires, L.: Spatial-Behavioral Types, Distributed. Services, and Resources. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol. 4661, pp. 263-280. Springer, Heidelberg (2007)
5. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2-17. Springer, Heidelberg (2007)
6. Coppo, M., Dezani-Ciancaglini, M., Yoshida, N.: Asynchronous Session Types and Progress for Object-Oriented Languages. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 1-31. Springer, Heidelberg (2007)
7. Corin, R., Deniélou, P.-M., Fournet, C., Bhargavan, K., Leifer, J.: Secure Implementations for Typed Session Abstractions. In: CSF 2007, pp. 170-186. IEEE Computer Society Press, Los Alamitos (2007)
8. Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session Types for Object-Oriented Languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328-352. Springer, Heidelberg (2006)
9. Gay, S.: Bounded. Polymorphism in Session Types. Mathematical Structures in Computer Science (to appear, 2007)
10. Gay, S., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Informatica 42(2/3). 191-225 (2005)
11. Gay, S., Vasconcelos, V.T.: Asynchronous Functional Session Types. TR 2007-251. Department of Computing, University of Glasgow (2007)
12. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.)ESOP 1998 and ETAPS 1998. LNCS, vol. 1381. pp. 22-138. Springer, Heidelberg (1998)
13. Hu. R., Yoshida, N., Honda, K.: Language and Runtime Implementation of Sessions for Java. In: ICOOOLPS 2007 (2007), http://www.doc.ic.ac.uk/-rh105/ sessiondj.html
14. Igarashi, A., Kobayashi, N.: A Generic Type System for the Pi-Calculus. Theoretical Computer Science 311(1-3), 121-163 (2004)
15. Kobayashi, N.: A Partially Deadlock-Free Typed Process Calculus. ACM TOPLAS 20(2), 436-482 (1998)
16. Kobayashi, N.: Type Systems for Concmrent Programs. In: Aichemig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS. vol. 2757, pp. 439-453. Springer, Heidelberg (2003)
17. Kobayashi, N.: A Type System for Lock-Free Processes. Information and Computation 177, 122-159 (2002)
18. Kobayashi, N.: Type-Based Information Flow Analysis for the Pi-Calculus. Acta Informatica 42(4-5). 291-347 (2005)
19. Kobayashi, N.: A New Type System for Deadlock-Free Processes. In: Baier. C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 233-247. Springer, Heidelberg (2006)
20. Kobayashi, N.: Type Systems for Concurrent Programs. Extended version of [17]. Tohoku University (2007)
21. Laneve, C. Padovani, L.: The Must Preorder Revisited: An Algebraic Theory for Web Services Contracts. In: Caires, L., Vasconcelos. V.T. (eds.) CONCUR. LNCS, vol. 4703, pp. 212-225. Springer, Heidelberg (2007)
22. Takeuchi, K., Honda, K., Kubo, M.: An Interaction-based Language and its Typing System. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer. Heidelberg (1994)
23. Web Services Choreography Working Group. Web Services Choreography Description Language, http://www.w3.org/2002/ws/chor/
24. Yoshida, N. Berger, M., Honda, K.: Strong Normalisation in the π-Calculus. Information and Computation 191(2). 145-202 (2004)
25. Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In: SecReT 2006. ENTCS, vol. 171, pp. 73-93. Elsevier, Amsterdam (2007)