Session-based communication optimisation for higher-order mobile processes

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

Volumn 5608 LNCS, Issue , 2009, Pages 203-218

  Mostrous, Dimitris ^a   Yoshida, Nobuko ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONY; COMMUNICATION CODES; COMMUTATIVITY; COMPACT FORMULATIONS; COMPLEMENTARY METHODS; E-COMMERCE; FUNCTIONAL TYPES; HIGHER ORDER; MOBILE CODES; MOBILE PROCESS; OPEN PROBLEMS; OPTIMISATIONS; RUNTIME SYSTEMS; SUBTYPING RELATION; SUBTYPINGS; TYPE STRUCTURES; TYPING SYSTEMS;

BIOMINERALIZATION; ELECTRONIC COMMERCE; PATHOLOGY;

COMMUNICATION;

EID: 70350290021     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02273-9_16     Document Type: Conference Paper

References (21)

1. On-line Appendix of this paper, http://www.doc.ic.ac.uk/~mostrous/ hopiasync
2. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
3. Bonelli, E., Compagnoni, A.: Multipoint Session Types for a Distributed Calculus. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 240-256. Springer, Heidelberg (2008)
4. 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)
5. Gay, S., Hole, M.: Subtyping for Session Types in the Pi-Calculus. Acta Info. 42(2/3), 191-225 (2005)
6. Gay, S., Vasconcelos, V.T.: Linear type theory for asynchronous session types (October 2008) (submitted for publication)
7. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Disciplines for Structured Communication-based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22-138. Springer, Heidelberg (1998)
8. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273-284. ACM Press, New York (2008)
9. Hu, R., Yoshida, N., Honda, K.: Session-Based Distributed Programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516-541. Springer, Heidelberg (2008)
10. Milner, R.: Functions as processes. MSCS 2(2), 119-141 (1992)
11. Mostrous, D., Yoshida, N.: Two Session Typing Systems for Higher-Order Mobile Processes. In: Della Rocca, S.R. (ed.) TLCA 2007. LNCS, vol. 4583, pp. 321-335. Springer, Heidelberg (2007)
12. Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 316-332. Springer, Heidelberg (2009), www.doc.ic.ac.uk/ ~mostrous/asyncsub
13. The Message Passing Interface (MPI) standard, http://www-unix.mcs.anl. gov/mpi/usingmpi/examples/intermediate/main.htm
14. Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. In: Logic in Computer Science (1993);
15. Full version in Mathematical Structures in Computer Science 6(5) (1996)
16. Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher Order Paradigms. PhD thesis, University of Edinburgh (1992)
17. 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)
18. UNIFI. International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme (2002), http://www.iso20022.org
19. Web Services Choreography Working Group. Web Services Choreography Description Language, http://www.w3.org/2002/ws/chor/
20. Yoshida, N.: Channel dependency types for higher-order mobile processes. In: POPL 2004, pp. 147-160. ACM Press, New York (2004), www.doc.ic.ac.uk/ ~yoshida
21. Yoshida, N., Vasconcelos, V.T.: Language Primitives and Type Disciplines for Structured Communication-based Programming Revisit. In: SecRet 2006. ENTCS, vol. 171(3), pp. 127-151. Elsevier, Amsterdam (2007)