\begin{thebibliography}{10}

\bibitem{AghaActors}
G.~Agha.
\newblock {\em Actors: a model of concurrent computation in distributed
  systems}.
\newblock MIT Press, Cambridge, MA, USA, 1986.

\bibitem{Erlang}
J.~Armstrong.
\newblock {\em Programming Erlang: Software for a Concurrent World}.
\newblock Pragmatic Bookshelf, 2007.

\bibitem{Baeton:book}
J.~Baeton and W.~Wejland.
\newblock {\em Process Algebra}.
\newblock Cambridge University Press, 1990.

\bibitem{BarnettLeino04}
M.~Barnett, K.~R.~M. Leino, and W.~Schulte.
\newblock The spec$\sharp$ programming system: An overview.
\newblock In {\em CASSIS 2004}, LNCS, pages 49--69. Springer, 2004.

\bibitem{BBDHIPRSS09}
A.~Baumann et~al.
\newblock The multikernel: a new os architecture for scalable multicore
  systems.
\newblock In {\em SOSP}, pages 29--44. ACM, 2009.

\bibitem{BPSSRBI09}
A.~Baumann, S.~Peter, A.~Sch\"{u}pbach, A.~Singhania, T.~Roscoe, P.~Barham, and
  R.~Isaacs.
\newblock Your computer is already a distributed system. why isn't your os?
\newblock In {\em HotOS'09: Proceedings of the 12th conference on Hot topics in
  operating systems}, pages 12--12, Berkeley, CA, USA, 2009. USENIX
  Association.

\bibitem{BettiniCDLDY08}
L.~Bettini et~al.
\newblock Global progress in dynamically interleaved multiparty sessions.
\newblock In {\em CONCUR}, volume 5201 of {\em LNCS}, pages 418--433. Springer,
  2008.

\bibitem{CorinDFBL09}
K.~Bhargavan, R.~Corin, P.-M. Deni{\'e}lou, C.~Fournet, and J.~Leifer.
\newblock Cryptographic protocol synthesis and verification for multiparty
  sessions.
\newblock In {\em CSF}, pages 124--140, 2009.

\bibitem{BHTY10}
L.~Bocchi, K.~Honda, E.~Tuosto, and N.~Yoshida.
\newblock A theory of design-by-contract for distributed multiparty
  interactions.
\newblock In {\em CONCUR'10}, volume 6269 of {\em LNCS}, pages 162--176.
  Springer, 2010.

\bibitem{BC07}
E.~Bonelli and A.~Compagnoni.
\newblock Multipoint session types for a distributed calculus.
\newblock In {\em TGC07}, volume 4912 of {\em LNCS}, pages 240--256. Springer,
  2008.

\bibitem{BroyKrugerMeisinger2007}
M.~Broy, I.~H. Kr\"{u}ger, and M.~Meisinger.
\newblock A formal model of services.
\newblock {\em ACM Trans. Softw. Eng. Methodol.}, 16(1):5, 2007.

\bibitem{ccdr10}
S.~Capecchi, I.~Castellani, M.~Dezani-Ciancaglini, and T.~Rezk.
\newblock {Session Types for Access and Information Flow Control}.
\newblock In {\em CONCUR'10}, volume 6269 of {\em LNCS}, pages 237--252.
  Springer, 2010.

\bibitem{CGY10}
S.~Capecchi, E.~Giachino, and N.~Yoshida.
\newblock Global escape in multiparty session.
\newblock In {\em FSTTCS'10}, LIPICS, 2010.
\newblock To appear. \url{http://www.di.unito.it/~capecchi/mpe.pdf}.

\bibitem{carbone.honda.yoshida:esop07}
M.~Carbone, K.~Honda, and N.~Yoshida.
\newblock {Structured Communication-Centred Programming for Web Services}.
\newblock In {\em ESOP'07}, volume 4421 of {\em LNCS}, pages 2--17. Springer,
  2007.

\bibitem{CDLa}
M.~Carbone, K.~Honda, N.~Yoshida, R.~Milner, G.~Brown, and S.~Ross-Talbot.
\newblock A theoretical basis of communication-centred concurrent programming.
\newblock Published in \cite{CDL}, 2006.

\bibitem{CDL}
{W3C} {W}eb {S}ervices {C}horeography {D}escription {L}anguage.
\newblock \url{http://www.w3.org/2002/ws/chor/}.

\bibitem{Chave2009}
A.~Chave, M.~Arrott, C.~Farcas, E.~Farcas, I.~Krueger, M.~Meisinger, J.~Orcutt,
  F.~Vernon, C.~Peach, O.~Schofield, and J.~Kleinert.
\newblock {C}yberinfrastructure for the {US} {O}cean {O}bservatories
  {I}nitiative.
\newblock In {\em Proc. IEEE OCEANS'09}. IEEE, 2009.

\bibitem{DamasMilner}
L.~Damas and R.~Milner.
\newblock Principal type-schemes for functional programs.
\newblock In {\em POPL}, pages 207--212, 1982.

\bibitem{Bufferfull}
P.-M. Deni{\'e}lou and N.~Yoshida.
\newblock Buffered communication analysis in distributed multiparty sessions.
\newblock In {\em CONCUR'10}, volume 6269 of {\em LNCS}, pages 343--357.
  Springer, 2010.
\newblock Full version, Prototype at
  \url{http://www.doc.ic.ac.uk/~pmalo/multianalysis}.

\bibitem{DY11}
P.-M. Deni{\'e}lou and N.~Yoshida.
\newblock Dynamic multirole session types.
\newblock In {\em POPL'11}. ACM, 2011.
\newblock To appear. \url{http://www.doc.ic.ac.uk/~malo/dynamic}.

\bibitem{FX}
N.~Desai, A.~K. Chopra, M.~Arrott, B.~Specht, and M.~P. Singh.
\newblock Engineering foreign exchange processes via commitment protocols.
\newblock In {\em IEEE SCC'07}, pages 514--521, Los Alamitos, CA, USA, 2007.
  IEEE Computer Society.

\bibitem{ecoop06}
M.~Dezani-Ciancaglini, D.~Mostrous, N.~Yoshida, and S.~Drossopoulou.
\newblock {Session Types for Object-Oriented Languages}.
\newblock In {\em ECOOP'06}, volume 4067 of {\em LNCS}, pages 328--352, 2006.

\bibitem{MDAFrankel}
D.~S. Frankel.
\newblock {\em Model Driven Architecture: Applying MDA to Enterprise
  Computing}.
\newblock Wiley, January 2003.

\bibitem{Hoare1978}
C.~A.~R. Hoare.
\newblock Communicating sequential processes.
\newblock {\em Commun. ACM}, 21:666--677, August 1978.

\bibitem{HOARE}
T.~Hoare.
\newblock An axiomatic basis of computer programming.
\newblock {\em CACM}, 12, 1969.

\bibitem{HoareC:ComSP}
T.~Hoare.
\newblock {\em Communicating Sequential Processes}.
\newblock Prentice Hall, 1985.

\bibitem{honda.vasconcelos.kubo:language-primitives}
K.~Honda, V.~T. Vasconcelos, and M.~Kubo.
\newblock Language primitives and type disciplines for structured
  communication-based programming.
\newblock In {\em ESOP'98}, volume 1381 of {\em LNCS}, pages 22--138. Springer,
  1998.

\bibitem{HYC08}
K.~Honda, N.~Yoshida, and M.~Carbone.
\newblock {Multiparty Asynchronous Session Types}.
\newblock In {\em POPL'08}, pages 273--284. ACM, 2008.

\bibitem{event}
R.~Hu, D.~Kouzapas, O.~Pernet, N.~Yoshida, and K.~Honda.
\newblock Type-safe eventful sessions in {J}ava.
\newblock In {\em ECOOP'10}, volume 6183 of {\em LNCS}, pages 329--353.
  Springer-Verlag, 2010.

\bibitem{HU07TYPE-SAFE}
R.~Hu, N.~Yoshida, and K.~Honda.
\newblock {Session-Based Distributed Programming in {Java}}.
\newblock In {\em ECOOP'08}, volume 5142 of {\em LNCS}, pages 516--541.
  Springer, 2008.

\bibitem{MSC}
{International Telecommunication Union}.
\newblock Recommendation \mbox{Z.120}: Message sequence chart, 1996.

\bibitem{Jones83}
C.~B. Jones.
\newblock Specification and design of (parallel) programs.
\newblock In {\em IFIP Congress}, pages 321--332, Paris, France, September
  1983. North-Holland/IFIP.

\bibitem{LeavensBaker99}
G.~Leavens and A.~L. Baker.
\newblock Enhancing the pre- and postcondition technique for more expressive
  specifications.
\newblock In {\em FM'99: World Congress on Formal Methods}. Springer, 1999.

\bibitem{DbCMeyer}
B.~Meyer.
\newblock Applying ``{D}esign by {C}ontract''.
\newblock {\em Computer}, 25(10):40--51, 1992.

\bibitem{MILNERpoly}
R.~Milner.
\newblock Theory of type polymorphism in programming languages.
\newblock In {\em TCS}, 1982.

\bibitem{MilnerR:comc}
R.~Milner.
\newblock {\em Communication and Concurrency}.
\newblock Prentics Hall, 1989.

\bibitem{MilnerR:calmp1}
R.~Milner, J.~Parrow, and D.~Walker.
\newblock {A Calculus of Mobile Processes, Parts {I} and {II}}.
\newblock {\em Info.\& Comp.}, 100(1), 1992.

\bibitem{mostrous_yoshida_honda_esop09}
D.~Mostrous, N.~Yoshida, and K.~Honda.
\newblock Global principal typing in partially commutative asynchronous
  sessions.
\newblock In {\em ESOP'09}, number 5502 in LNCS. Springer, 2009.

\bibitem{Ng10}
N.~Ng.
\newblock {\em High performance parallel design based on session programming}.
\newblock Masters thesis, Department of Computing, Imperial College London,
  2010.
\newblock \url{http://www.doc.ic.ac.uk/~cn06/individual-project/}.

\bibitem{NYH09}
L.~Nielsen, N.~Yoshida, and K.~Honda.
\newblock Multiparty symmetric sumtypes.
\newblock Technical Report~8, Department of Computing, Imperial College London,
  2009.
\newblock To appear in Express'10. {Apims} Project at:
  \url{http://www.thelas.dk/index.php/apims}.

\bibitem{UML}
{OMG}.
\newblock {Unified Modelling Language, Version 2.0}, 2004.

\bibitem{ooi}
{{O}cean {O}bservatories {I}nitiative ({OOI})}.
\newblock
  \url{http://www.oceanleadership.org/programs-and-partnerships/ocean-observin%
g/ooi/}.

\bibitem{pi4soa}
pi4soa homepage.
\newblock \url{http://pi4soa.sourceforge.net/}.

\bibitem{ScribbleDevelopmentToolSite}
Scribble development tool site.
\newblock \url{http://www.jboss.org/scribble}.

\bibitem{SivaramakrishnanNZE10}
K.~C. Sivaramakrishnan, K.~Nagaraj, L.~Ziarek, and P.~Eugster.
\newblock Efficient session type guided distributed interaction.
\newblock In {\em Coordination'10}, volume 6116 of {\em LNCS}, pages 152--167.
  Springer, 2010.

\bibitem{THK}
K.~Takeuchi, K.~Honda, and M.~Kubo.
\newblock {An Interaction-based Language and its Typing System}.
\newblock In {\em PARLE'94}, volume 817 of {\em LNCS}, pages 398--413, 1994.

\bibitem{AnimeshTrivedi09}
A.~Trivedi.
\newblock Hotplug in a multikernel operating system.
\newblock Master's thesis, ETH Zurich, 2009.

\bibitem{UNIFI}
UNIFI.
\newblock {I}nternational {O}rganization for {S}tandardization {ISO} 20022
  {UNI}versal {F}inancial {I}ndustry message scheme.
\newblock \url{http://www.iso20022.org}, 2002.

\bibitem{WelchBarnes04}
P.~Welch and F.~Barnes.
\newblock Communicating {M}obile {P}rocesses: introducing occam-pi.
\newblock In {\em 25 Years of {CSP}}, volume 3525 of {\em LNCS}, pages
  175--210. Springer, 2005.

\bibitem{yoshida.denielou.bejleri.hu10}
N.~Yoshida, P.-M. Deni{\'e}lou, A.~Bejleri, and R.~Hu.
\newblock Parameterised multiparty session types.
\newblock In {\em FoSSaCs'10}, volume 6014 of {\em Lecture Notes in Computer
  Science}, pages 128--145. Springer, 2010.

\bibitem{YoshidaVPH08}
N.~Yoshida, V.~T. Vasconcelos, H.~Paulino, and K.~Honda.
\newblock Session-based compilation framework for multicore programming.
\newblock In {\em FMCO'08}, volume 5751 of {\em LNCS}, pages 226--246.
  Springer, 2009.

\end{thebibliography}
