====== WG1 bibliography for the 2013 state-of-the-art report ======

==== Publications after 26th October 2012 ====

[1,2,4]

@InProceedings{ vieira.vasconcelos:typing-progress-communication-centred-systems,
  author = {Hugo Torres Vieira and Vasco T. Vasconcelos},
  title = {COORDINATION 2013},
  booktitle = {7th International Symposium on Trustworthy Global Computing},
  pages  = {236--250},
  year = 2013,
  volume = 7890,
  series = LNCS,
  publisher = SPRINGER,
  url = {http://www.di.fc.ul.pt/~vv/papers/vieira.vasconcelos_typing-progress-communication-centred-systems.pdf}
}

[1,2] 



@incollection{huttel2013,
  year={2013},
  booktitle={Trustworthy Global Computing},
  series={Lecture Notes in Computer Science},
  title={Types for Resources in $\psi$-calculi},
  publisher={Springer Berlin Heidelberg},
  author={Hans H\"{u}ttel}
 }

[8]

@inproceedings{Amending_C:2013,
    author = {Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro},
    title = {Amending Choreographies},
    booktitle = {Proceedings of WWV 2013, 9th International Workshop on Automated Specification and Verification of Web Systems},
    series = {EPTCS},
    volume = {},
    editor = {António Ravara, Josep Silva, Editors},
    publisher = {},
    pages = {15 pages},
    year = {2013},
    note = {To appear.},
}

[4]

@inproceedings{DBLP:conf/coordination/CoppoDPY13,
  author    = {Mario Coppo and
               Mariangiola Dezani-Ciancaglini and
               Luca Padovani and
               Nobuko Yoshida},
  title     = {Inference of Global Progress Properties for Dynamically
               Interleaved Multiparty Sessions},
  booktitle = {COORDINATION},
  year      = {2013},
  pages     = {45-59},
  ee        = {http://dx.doi.org/10.1007/978-3-642-38493-6_4},
  crossref  = {DBLP:conf/coordination/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,5]

@inproceedings{DBLP:conf/forte/BocchiCDHY13,
  author    = {Laura Bocchi and
               Tzu-Chun Chen and
               Romain Demangeon and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Monitoring Networks through Multiparty Session Types},
  booktitle = {FMOODS/FORTE},
  year      = {2013},
  pages     = {50-65},
  ee        = {http://dx.doi.org/10.1007/978-3-642-38592-6_5},
  crossref  = {DBLP:conf/forte/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@article{DBLP:journals/corr/abs-1208-6483,
  author    = {Pierre-Malo Deni{\'e}lou and
               Nobuko Yoshida and
               Andi Bejleri and
               Raymond Hu},
  title     = {Parameterised Multiparty Session Types},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {4},
  year      = {2012},
  ee        = {http://dx.doi.org/10.2168/LMCS-8(4:6)2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[5]

@inproceedings{DY13,
  author    = {Pierre-Malo Deni{\'e}lou and
               Nobuko Yoshida},
  title     = {Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types},
  booktitle = {ICALP},
  year      = {2013},
  note = {To appear},
  }

[5] 

@inproceedings{KY13,
  author    = {Dimitrios Kouzapas and
               Nobuko Yoshida},
  title     = {Grobally Governed Session Semantics},
  booktitle = {CONCUR},
  year      = {2013},
  note = {To appear},
  }
 
[5] 

@article{KHYH13,
  author    = {Dimitrios Kouzapas and
               Raymond Hu and 
               Nobuko Yoshida and
               Kohei Honda},
  title     = {On Asynchronous Eventful Session Semantics},
  journal   = {Mathematical Structures in Computer Science},
  note = {To appear},
 }




==== All relevant publications ====

[1,2,7]

@Article{ giunti.vasconcelos:linearity-sessions-pi,
  author = {Marco Giunti and Vasco T. Vasconcelos},
  title = {Linearity, Session Types and the Pi Calculus},
  journal = {Mathematical Structures in Computer Science},
  volume = X,
  pages = {Y--Z},
  publisher = CUP,
  year = 2013,
  url  = {http://www.di.fc.ul.pt/~vv/papers/giunti.vasconcelos_linearity-sessions-pi.pdf}
}

[1,2,3]

@InProceedings{baltazar.caires.etal:role-assignment-multiparty-communication,
  author = {Pedro Baltazar and Luís Caires and Vasco T. Vasconcelos and Hugo T. Vieira},
  title = {A Type System for Flexible Role Assignment in Multiparty Communicating Systems},
  booktitle = {7th International Symposium on Trustworthy Global Computing},
  pages  = {X--Y},
  year = 2013,
  volume = {Z},
  series = LNCS,
  publisher = SPRINGER,
  url = {http://www.di.fc.ul.pt/~vv/papers/baltazar.caires.etal_role-assignment-multiparty-communication.pdf}
}

[1,2,8]

@Article{ vasconcelos:fundamental-sessions,
  author = {Vasco T. Vasconcelos},
  title = {Fundamentals of Session Types},
  journal = {Information and Computation},
  volume = 217,
  pages = {52--70},
  year = 2012,
  publisher = ELSEVIER,
  doi = {http://dx.doi.org/10.1016/j.ic.2012.05.002},
  note = {Earlier version in SFM'09, volume 5569 of LNCS, pages 158-186. Springer, 2009},
  url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_fundamental-sessions.pdf}
}

[2,7]

@Article{ravara.resende.vasconcelos:algebra-behavioural-types,
  author = {Ant\'onio Ravara and Pedro Resende and Vasco T. Vasconcelos},
  title = {An Algebra of Behavioural Types},
  journal = {Information and Computation},
  volume = 212,
  pages = {64--91},
  year = 2012,
  publisher = ELSEVIER,
  doi = {http://dx.doi.org/10.1016/j.ic.2011.12.005},
  url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_session_types_programming.pdf}
}

[1,2,5]

@Article{ baltazar.mostrous.vasconcelos:linearly-refined-session-types,
  author = {Pedro Baltazar and Dimitris Mostrous and Vasco T. Vasconcelos},
  title = {Linearly Refined Session Types},
  journal = EPTCS,
  volume = 101,
  pages = {38--49},
  note = {Proceedings 2nd International Workshop on Linearity},
  year = 2012,
  url = {http://www.di.fc.ul.pt/~vv/papers/baltazar.mostrous.vasconcelos_linearly-refined-session-types.pdf}
}

[1,2] (WP3 only?)

@InProceedings{mostrous.vasconcelos:session-typing-erlang,
  author = {Dimitris Mostrous and Vasco T. Vasconcelos},
  title = {Session Typing for a Featherweight Erlang},
  booktitle = {11th International Conference on Coordination Models and Languages},
  pages  = {95--109},
  year = 2011,
  volume = 6721,
  series = LNCS,
  publisher = SPRINGER,
  doi  = {http://dx.doi.org/10.1007/978-3-642-21464-6_7},
  url  = {http://www.di.fc.ul.pt/~vv/papers/mostrous.vasconcelos_session-typing-erlang.pdf}
}

[1,2] (WP3 only?)

@Article{vasconcelos:sessions-types-programming,
  author = {Vasco T. Vasconcelos},
  title = {Sessions, from types to programming languages},
  journal = "Bulletin of the European Association for Theoretical Computer Science",
  volume = 103,
  pages = {53--73},
  year = 2011,
  url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos_session_types_programming.pdf}
}

[1,2] (WP3 only?)

@InProceedings{campos.vasconcelos:channels-as-objects,
  author = {Joana Campos and Vasco T. Vasconcelos},
  title = {Channels as Objects in Concurrent Object-Oriented Programming},
  booktitle = {3rd International Workshop on Programming Language
               Approaches to Concurrency and Communication-cEntric Software (PLACES 2010)},
  pages =  {12--28},
  year = 2011,
  volume = 69,
  series = EPTCS,
  doi = {http://dx.doi.org/10.4204/EPTCS.69.2},
  url = {http://www.di.fc.ul.pt/~vv/papers/campos.vasconcelos_channels-as-objects.pdf}
}

[1,2,7]
 
@InBook{caires.etal:core-calculi-soc,
  author = {Lu\'{\i}s Caires and Rocco De Nicola and Rosario Pugliese and
            Vasco T. Vasconcelos andcGianluigi Zavattaro},
  title = {Core calculi for service oriented computing},
  chapter = {Rigorous Software Engineering for Service-Oriented Systems},
  series = LNCS,
  volume = 6582,
  publisher = SPRINGER,
  year = 2011,
  pages = {153--188},
  doi = {http://dx.doi.org/10.1007/978-3-642-20401-2_8},
  url = {http://www.di.fc.ul.pt/~vv/papers/caires.etal_core-calculi-soc.pdf}
}

[1,2,7]

@InProceedings{giunti.vasconcelos:linear-account-sessions,
  author = {Marco Giunti and Vasco T. Vasconcelos},
  title = {A Linear Account of Session Types in the pi Calculus},
  booktitle = {Proceedings of CONCUR'10},
  pages  = {432--446},
  year = 2010,
  volume = 6269,
  series = LNCS,
  publisher = SPRINGER,
  doi = {http://dx.doi.org/10.1007/978-3-642-15375-4_30},
  url = {http://www.di.fc.ul.pt/~vv/papers/giunti.vasconcelos_linear-account-sessions.pdf}
}

[1,2] (WP3 only?)

@Article{gay.vasconcelos:linear-sessions,
  author = {Simon Gay and Vasco T. Vasconcelos},
  title = {Linear Type Theory for Asynchronous Session Types},
  journal = JFP,
  volume = 20,
  number = 1,
  pages = {19--50},
  _note = {Subsumes Technical Report 2007--251, University of Glasgow},
  year = 2010,
  doi = {http://dx.doi.org/10.1017/S0956796809990268},
  url = {http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos_linear-sessions.pdf}
}

[1,2] (WP3 only?)


@InProceedings{vasconcelos:session-types-linear-functional-programming,
  author = 	 {Vasco T. Vasconcelos},
  title = 	 {Session Types for Linear Multithreaded Functional Programming},
  booktitle =    {PPDP'09: Proceedings of the 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming},
  pages = 	 {1--6},
  year = 	 2009,
  doi =          {http://doi.acm.org/10.1145/1599410.1599411},
  isbn =         {978-1-60558-568-0},
  publisher =    ACMP
}

[1,2,3]

@InProceedings{ yoshida.vasconcelos.etal:session-based-compilation,
  author = 	 {Nobuko Yoshida and Vasco T. Vasconcelos and Herv\'e Paulino and Kohei Honda},
  title = 	 {Session-Based Compilation Framework for Multicore Programming},
  booktitle = 	 {International Symposium on Formal Methods for Components and Objects (FMCO 2009)},
  series = 	 LNCS,
  volume = 	 5751,
  year = 	 2009,
  publisher = 	 SPRINGER,
  pages = 	 {226--246}
}

[1,2,3]

@InProceedings{honda.vasconcelos.yoshida:compilation-multicore-programming,
  author = {Kohei Honda and Vasco T. Vasconcelos and Nobuko Yoshida},
  title = {Type-Directed Compilation for Multicore Programming},
  booktitle = {PLACES 2008---1st International Workshop on Programming Language
	Approaches to Concurrency and Communication-cEntric Software},
  pages = {101--111},
  publisher = ELSEVIER,
  series = ENTCS,
  year = 2009,
  volume = 241
}

[1,2,7]

@InProceedings{cruz-filipe.lanese.etal:behavioural-theory-at-work,
  author = {Lu\'{\i}s Cruz-Filipe and Ivan Lanese and
            Francisco Martins and Antonio Ravara and Vasco T. Vasconcelos},
  title = {Behavioural theory at work:
           program transformations in a service-centred calculus},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems},
  series = LNCS,
  volume = 5051,
  publisher = SPRINGER,
  year = 2008,
  pages = {59--77},
  url = {http://www.di.fc.ul.pt/~vv/papers/cruz-filipe.lanese.etal_behavioural-theory-at-work.pdf}
}

[1,2,7]

@InProceedings{lanese.vasconcelos.etal:disciplining-orchestration-conversation,
  author = {Ivan Lanese and Vasco T. Vasconcelos and Francisco Martins and
            Antonio Ravara},
  title = {Disciplining Orchestration and Conversation in Service-Oriented
           Computing},
  booktitle = {5th IEEE International Conference on Software Engineering and
               Formal Methods},
  pages = {305--314},
  year = 2007,
  publisher = {IEEE Computer Society Press},
  url = {http://www.di.fc.ul.pt/~vv/papers/lanese.vasconcelos.etal_disciplining-orchestration-conversation.pdf}
}

[1,2]

@InProceedings{yoshida.vasconcelos:language-primitives-revisited,
  author = {Nobuko Yoshida and Vasco T. Vasconcelos},
  title = {Language Primitives and Type Discipline for Structured
    Communication-Based Programming Revisited: Two Systems for
    Higher-Order Session Communication},
  booktitle = {Proceedings of SecReT'07},
  year =  2007,
  volume = {171(4)},
  publisher = ELSEVIER,
  series = ENTCS,
  pages = {73--93},
  url = {http://www.di.fc.ul.pt/~vv/papers/yoshida.vasconcelos:language-primitives-revisited.pdf}
}

[1,2]

@inproceedings{boreale.bruni.etal:service-centered-calculus,
  author = {Michele Boreale and Roberto Bruni and Lu\'{\i}s Caires and 
            Rocco {De Nicola} and Ivan Lanese and Michele Loreti and
            Francisco Martins and Ugo Montanari and Antonio Ravara and
            Davide Sangiorgi and Vasco Vasconcelos and Gianluigi Zavattaro},
  title = {{SCC}: a Service Centered Calculus},
  booktitle = {Proceedings of WS-FM 2006, 3rd International Workshop on
               Web Services and Formal Methods},
  series = LNCS,
  volume = 4184,
  publisher = SPRINGER,
  year = 2006,
  pages = {38--57},
  url = {http://www.di.fc.ul.pt/~vv/papers/boreale.bruni.etal_service-centered-calculus.pdf}
}

[1,2] (WP3 only?)

@Article{vasconcelos.gay.ravara:tychecking-session-types,
  author = {Vasco T. Vasconcelos and Simon Gay and Ant\'onio Ravara},
  title = {Typechecking a Multithreaded Functional Language with Session Types},
  journal = TCS,
  year = 2006,
  volume = 368,
  number = {1--2},
  pages = {64--87},
  url = {http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.ravara_tychecking-session-types.pdf}
}

[2]

@Article{vallecillo.vasconcelos.etal:typing-behavior-objects,
  author = {Antonio Vallecillo and Vasco T.~Vasconcelos and Ant\'onio Ravara},
  title = {Typing the Behavior of Objects and Components using Session Types},
  journal = {Fundamenta Informatic\ae},
  volume = 73,
  number = 4,
  pages = {583--598},
  year = 2006,
  publisher = IOS,
  url = {http://www.di.fc.ul.pt/~vv/papers/vallecillo.vasconcelos.etal_typing-behavior-objects.pdf}
}

[2,3]

@inproceedings{DBLP:conf/popl/CarboneM13,
  author    = {Marco Carbone and
               Fabrizio Montesi},
  title     = {Deadlock-freedom-by-design: multiparty asynchronous global
               programming},
  booktitle = {POPL},
  year      = {2013},
  pages     = {263-274},
  ee        = {http://doi.acm.org/10.1145/2429069.2429101},
  crossref  = {DBLP:conf/popl/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2,3]

@inproceedings{DBLP:conf/esop/CarboneHY07,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Structured Communication-Centred Programming for Web Services},
  booktitle = {ESOP},
  year      = {2007},
  pages     = {2-17},
  editor    = {Rocco {De Nicola}},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
}


[2,3]

@article{Carbone:2012:SCP:2220365.2220367,
  author = {Carbone, Marco and Honda, Kohei and Yoshida, Nobuko},
  title = {Structured Communication-Centered Programming for Web Services},
  journal = {ACM Trans. Program. Lang. Syst.},
  issue_date = {June 2012},
  volume = {34},
  number = {2},
  month = jun,
  year = {2012},
  issn = {0164-0925},
  pages = {8:1--8:78},
  articleno = {8},
  numpages = {78},
  url = {http://doi.acm.org/10.1145/2220365.2220367},
  doi = {10.1145/2220365.2220367},
  acmid = {2220367},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {Communication, choreography, end-point projection, process calculi, session types, type system, web services},
} 

[2]

@inproceedings{DBLP:conf/popl/GayVRGC10,  
  author    = {Simon J. Gay and Vasco Thudichum Vasconcelos and Ant{\'o}nio Ravara and Nils Gesbert and  Alexandre Z. Caldeira},  
  title     = {Modular session types for distributed object-oriented programming},  
  booktitle = {POPL}, 
  year      = {2010},  
  pages     = {299-312},  
  ee        = {http://doi.acm.org/10.1145/1706299.1706335}  
  crossref  = {DBLP:conf/popl/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@article{DBLP:journals/toplas/CastagnaGP09,
  author    = {Giuseppe Castagna and     Nils Gesbert and Luca Padovani},
  title     = {A theory of contracts for Web services},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {31},
  number    = {5},
  year      = {2009},
  ee        = {http://doi.acm.org/10.1145/1538917.1538920},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[2]

@article{DBLP:journals/tcs/IgarashiK04,
  author    = {Atsushi Igarashi and
               Naoki Kobayashi},
  title     = {A generic type system for the Pi-calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {311},
  number    = {1-3},
  year      = {2004},
  pages     = {121-163},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(03)00325-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}



[2]

@article{DBLP:journals/fac/LeeX04,
  author= {Edward A. Lee and Yuhong Xiong},
   title     = {A behavioral type system and its application in Ptolemy II},
   journal   = {Formal Asp. Comput.},
   volume = {16},
   number={3},
   year={2004},
   pages={210-237},
   ee=http://dx.doi.org/10.1007/s00165-004-0043-8},
   bibsource={DBLP, http://dblp.uni-trier.de}}

[2,3]

@inproceedings{mcm09:ip,
  author = {Mouelhi, Sebti and Chouali, Samir and Mountassir, Hassan},
  title = {Refinement of Interface Automata Strengthened by Action Semantics},
  booktitle = {FESCA'09 proceedings},
  series = {ENTCS, Electronic Notes in Theoretical Computer Science},
  volume = {253-1},
  pages = {111--126},
  doi = {10.1016/j.entcs.2009.09.031},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.09.031},
  address = {York, United Kingdom},
  year = 2009
}

[2,3]

@inproceedings{cmm10:ip,
  author = {Chouali, Samir and Mouelhi, Sebti and Mountassir, Hassan},
  title = {Adapting Components Behaviours using Interface Automata},
  booktitle = {SEAA'10, 36th Euromicro Conference on Software Engineering and Advanced Applications},
  pages = {119-122},
  doi = {10.1109/SEAA.2010.34},
  url = {http://dx.doi.org/10.1109/SEAA.2010.34},
  publisher = {IEEE Computer Society Press},
  address = {Lille, France},
  month = sep,
  year = 2010}

[2]

@article{ChoualiH11,
  author = {Chouali, Samir and Hammad, Ahmed},
  title = {Formal verification of components assembly based on {SysML} and interface automata},
  journal = {ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering},
  pages = {265--274},
  doi = {10.1007/s11334-011-0170-3},
  url = {http://dx.doi.org/10.1007/s11334-011-0170-3},
  volume = 7,
  number = 4,
  publisher = {Springer},
  month = sep,
  year = 2011}


@inproceedings{DBLP:conf/coordination/BartolettiTZ12,
  author    = {Massimo Bartoletti and
               Emilio Tuosto and
               Roberto Zunino},
  title     = {On the Realizability of Contracts in Dishonest Systems},
  booktitle = {COORDINATION},
  year      = {2012},
  pages     = {245-260},
  ee        = {http://dx.doi.org/10.1007/978-3-642-30829-1_17},
  crossref  = {DBLP:conf/coordination/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/concur/LangeT12,
  author    = {Julien Lange and
               Emilio Tuosto},
  title     = {Synthesising Choreographies from Local Session Types},
  booktitle = {CONCUR},
  year      = {2012},
  pages     = {225-239},
  ee        = {http://dx.doi.org/10.1007/978-3-642-32940-1_17},
  crossref  = {DBLP:conf/concur/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2]

@article{DBLP:journals/corr/abs-1203-0780,
  author    = {Giuseppe Castagna and
               Mariangiola Dezani-Ciancaglini and
               Luca Padovani},
  title     = {On Global Types and Multi-Party Session},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {1},
  year      = {2012},
  ee        = {http://dx.doi.org/10.2168/LMCS-8(1:24)2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@article{DBLP:journals/acta/GayH05,
  author    = {Simon J. Gay and
               Malcolm Hole},
  title     = {Subtyping for session types in the pi calculus},
  journal   = {Acta Inf.},
  volume    = {42},
  number    = {2-3},
  year      = {2005},
  pages     = {191-225},
  ee        = {http://dx.doi.org/10.1007/s00236-005-0177-z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[3]

@inproceedings{Barbanera-deLiguoro:PPDP10,
  number = {},
  volume = {},
  author = {Franco Barbanera and Ugo de' Liguoro},
  series = {ACM SIGPLAN},
  booktitle = {Proc. of PPDP'10},
  tag = {ACM SIGPLAN Symposium PPDP'10},
  localfile = {http://www.di.unito.it/~deligu/papers/BdL10draft.pdf},
  title = "Two Notions of Sub-behaviour for Session-based Client/Server
           Systems",
  publisher = {ACM},
  year = {2010},
  pages = {155-164},
}

[3]

@InProceedings{	  Padovani11c,
  author	= {Luca Padovani},
  title		= {{F}air {S}ubtyping for {M}ulti-{P}arty {S}ession {T}ypes},
  booktitle	= {Proceedings of the 13th Conference on Coordination Models
		  and Languages},
  volume	= {LNCS 6721},
  year		= {2011},
  pages		= {127-141},
  url		= {http://www.di.unito.it/~padovani/Papers/FairSessionTypes.pdf}
		  ,
  publisher	= {Springer},
  doi		= {10.1007/978-3-642-21464-6\_9},
  abstract	= {The standard subtyping relation used in dyadic session
		  type theories may compromise the liveness of multi-party
		  sessions. In this paper we define a \emph{fair} subtyping
		  relation for multi-party session types that preserves
		  liveness, we relate it with the standard subtyping
		  relation, and we give algorithms for deciding it. As a side
		  effect, we provide an original and remarkably simple
		  coinductive characterization of the fair testing preorder
		  for nondeterministic, sequential processes consisting of
		  internal choices of outputs and external choices of
		  inputs.}
}

[2]

@InProceedings{	  Padovani11b,
  author	= {Luca Padovani},
  title		= {{S}ession {T}ypes = {I}ntersection {T}ypes + {U}nion
		  {T}ypes},
  booktitle	= {Proceedings of the 5th Workshop on Intersection Types and
		  Related Systems (ITRS'10)},
  volume	= {EPTCS 45},
  year		= {2011},
  pages		= {71-89},
  url		= {http://www.di.unito.it/~padovani/Papers/SessionIntersectionUnion.pdf}
		  ,
  abstract	= {We propose a semantically grounded theory of session types
		  which relies on intersection and union types. We argue that
		  intersection and union types are natural candidates for
		  modeling branching points in session types and we show that
		  the resulting theory overcomes some important defects of
		  related behavioral theories. In particular, intersections
		  and unions provide a native solution to the problem of
		  computing joins and meets of session types. Also, the
		  subtyping relation turns out to be a pre-congruence, while
		  this is not always the case in related behavioral
		  theories.},
  doi		= {10.4204/EPTCS.45.6}
}

@InProceedings{	  CastagnaPadovani09,
  author	= {Giuseppe Castagna and Luca Padovani},
  title		= {{C}ontracts for {M}obile {P}rocesses},
  booktitle	= {Proceedings of the 20th International Conference on
		  Concurrency Theory (CONCUR'09)},
  year		= {2009},
  volume	= {LNCS 5710},
  pages		= {211-228},
  publisher	= {Springer},
  url		= {http://www.di.unito.it/~padovani/Papers/ContractsMobileProcesses.pdf}
		  ,
  doi		= {10.1007/978-3-642-04081-8\_15},
  abstract	= {Theories identifying well-formed systems of processes --
		  those that lack communication errors and enjoy strong
		  properties such as deadlock freedom -- are based either on
		  session types, which are inhabited by channels, or on
		  contracts, which are inhabited by processes. Current
		  session type theories impose overly restrictive disciplines
		  while contract theories only work for networks with fixed
		  topology. Here we fill the gap between the two approaches
		  by defining a theory of contracts for so-called mobile
		  processes, those whose communications may include
		  delegations and channel references.}
}

[4]

@article{DBLP:journals/iandc/Kobayashi02,
  author    = {Naoki Kobayashi},
  title     = {A Type System for Lock-Free Processes},
  journal   = {Inf. Comput.},
  volume    = {177},
  number    = {2},
  year      = {2002},
  pages     = {122-159},
  ee        = {http://dx.doi.org/10.1006/inco.2002.3171},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[3,7]

@inproceedings{SEFM08,
  author    = {Lanese, I. and
               Guidi, C. and
               Montesi, F. and
               Zavattaro, G.},
  title     = {Bridging the Gap between Interaction- and Process-Oriented
               Choreographies},
  booktitle = {Proc. of SEFM'08},
  year      = {2008},
  pages     = {323--332},
  editor    = {Antonio Cerone and
               Stefan Gruner},
  publisher = {IEEE Computer Society Press},
}

[5]

@inproceedings{bocchiDATA,
  author    = {Bocchi, L. and
               Honda, K. and
               Tuosto, E. and
               Yoshida, N.},
  title     = {A Theory of Design-by-Contract for Distributed Multiparty
               Interactions},
  booktitle = {Proc. of CONCUR 2010},
  year      = {2010},
  pages     = {162--176},
  editor    = {Paul Gastin and
               Fran\c{c}ois Laroussinie},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6269},
}

@article{BocchiAMEND,
  author    = {Laura Bocchi and
               Julien Lange and
               Emilio Tuosto},
  title     = {Three Algorithms and a Methodology for Amending Contracts
               for Choreographies},
  journal   = {Sci. Ann. Comp. Sci.},
  volume    = {22},
  number    = {1},
  year      = {2012},
  pages     = {61-104},
  ee        = {http://dx.doi.org/10.7561/SACS.2012.1.61},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}

@inproceedings{hondaPOPL,
  author    = {Honda, K. and
               Yoshida, N. and
               Carbone, M.},
  title     = {Multiparty asynchronous session types},
  booktitle = {Proc. of POPL'08},
  year      = {2008},
  pages     = {273--284},
  ee        = {http://doi.acm.org/10.1145/1328438.1328472},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  OPTeditor    = {George C. Necula and Philip Wadler},
  publisher = {ACM Press},
}

[4]

@inproceedings{DBLP:conf/concur/BettiniCDLDY08,
  volume = {5201},
  author = {Bettini, Lorenzo and Coppo, Mario and D'Antoni, Loris and De Luca,
            Marco and Dezani-Ciancaglini, Mariangiola and Yoshida, Nobuko},
  series = {LNCS},
  booktitle = {CONCUR'08},
  title = {Global Progress in Dynamically Interleaved Multiparty Sessions},
  url = {http://www.di.unito.it/~dezani/papers/bcdddyshort.pdf},
  publisher = {Springer},
  year = {2008},
  pages = {418-433},
}

[7]

@inproceedings{DBLP:conf/sac/BernardiH12,
  author    = {Giovanni Bernardi and
               Matthew Hennessy},
  title     = {Modelling session types using contracts},
  booktitle = {SAC},
  year      = {2012},
  pages     = {1941-1946},
  ee        = {http://doi.acm.org/10.1145/2245276.2232097},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[5]

@inproceedings{DBLP:conf/concur/CairesP10,
  author    = {Lu\'{\i}s Caires and
               Frank Pfenning},
  title     = {Session Types as Intuitionistic Linear Propositions},
  booktitle = {CONCUR'10},
  year      = {2010},
  pages     = {222-236},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15375-4_16},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6269},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[5]

@inproceedings{DBLP:conf/ppdp/ToninhoCP11,
  author    = {Bernardo Toninho and
               Lu\'{\i}s Caires and
               Frank Pfenning},
  title     = {Dependent session types via intuitionistic linear type theory},
  booktitle = {PPDP},
  year      = {2011},
  pages     = {161-172},
  ee        = {http://doi.acm.org/10.1145/2003476.2003499},
  crossref  = {DBLP:conf/ppdp/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[7]

@inproceedings{DBLP:conf/fossacs/ToninhoCP12,
  author    = {Bernardo Toninho and
               Lu\'{\i}s Caires and
               Frank Pfenning},
  title     = {Functions as Session-Typed Processes},
  booktitle = {FoSSaCS},
  year      = {2012},
  pages     = {346-360},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28729-9_23},
  crossref  = {DBLP:conf/fossacs/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2,5]

@inproceedings{DBLP:conf/csl/DeYoungCPT12,
  author    = {Henry DeYoung and
               Lu\'{\i}s Caires and
               Frank Pfenning and
               Bernardo Toninho},
  title     = {Cut Reduction in Linear Logic as Asynchronous Session-Typed
               Communication},
  booktitle = {CSL},
  year      = {2012},
  pages     = {228-242},
  ee        = {http://dx.doi.org/10.4230/LIPIcs.CSL.2012.228},
  crossref  = {DBLP:conf/csl/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2]

@inproceedings{DBLP:conf/esop/CairesPPT13,
  author    = {Lu\'{\i}s Caires and
               Jorge A. P{\'e}rez and
               Frank Pfenning and
               Bernardo Toninho},
  title     = {Behavioral Polymorphism and Parametricity in Session-Based
               Communication},
  booktitle = {ESOP},
  year      = {2013},
  pages     = {330-349},
  ee        = {http://dx.doi.org/10.1007/978-3-642-37036-6_19},
  crossref  = {DBLP:conf/esop/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2,7]

@inproceedings{DBLP:conf/esop/ToninhoCP13,
  author    = {Bernardo Toninho and
               Lu\'{\i}s Caires and
               Frank Pfenning},
  title     = {Higher-Order Processes, Functions, and Sessions: A Monadic
               Integration},
  booktitle = {ESOP},
  year      = {2013},
  pages     = {350-369},
  ee        = {http://dx.doi.org/10.1007/978-3-642-37036-6_20},
  crossref  = {DBLP:conf/esop/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2]

@article{DBLP:journals/tcs/CairesV10,
  author    = {Lu\'{\i}s Caires and
               Hugo Torres Vieira},
  title     = {Conversation types},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {51-52},
  year      = {2010},
  pages     = {4399-4440},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2010.09.010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2]

@inproceedings{DBLP:conf/esop/HondaVK98,
  author    = {Kohei Honda and
               Vasco Thudichum Vasconcelos and
               Makoto Kubo},
  title     = {Language Primitives and Type Discipline for Structured Communication-Based
               Programming},
  year      = {1998},
  pages     = {122-138},
  editor    = {Chris Hankin},
  booktitle     = {Programming Languages and Systems - ESOP'98, 7th European
               Symposium on Programming, Held as Part of the European Joint
               Conferences on the Theory and Practice of Software, ETAPS'98,
               Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1381},
  isbn      = {3-540-64302-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2]

@inproceedings{DBLP:conf/concur/Honda93,
  author    = {Kohei Honda},
  title     = {Types for Dyadic Interaction},
  year      = {1993},
  pages     = {509-523},
  editor    = {Eike Best},
  booktitle     = {CONCUR '93, 4th International Conference on Concurrency
               Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {715},
  year      = {1993},
  isbn      = {3-540-57208-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2]

@inproceedings{DBLP:conf/parle/TakeuchiHK94,
  author    = {Kaku Takeuchi and
               Kohei Honda and
               Makoto Kubo},
  title     = {An Interaction-based Language and its Typing System},
  booktitle = {PARLE '94: Parallel Architectures and Languages Europe,
               6th International PARLE Conference, Athens, Greece, July
               4-8, 1994, Proceedings},
  year      = {1994},
  pages     = {398-413},
  ee        = {http://dx.doi.org/10.1007/3-540-58184-7_118},
  crossref  = {DBLP:conf/parle/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2,4]

@inproceedings{DBLP:conf/popl/CarboneM13,
  author    = {Marco Carbone and
               Fabrizio Montesi},
  title     = {Deadlock-freedom-by-design: multiparty asynchronous global
               programming},
  booktitle = {POPL},
  year      = {2013},
  pages     = {263-274},
  ee        = {http://doi.acm.org/10.1145/2429069.2429101},
  crossref  = {DBLP:conf/popl/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2,3]

@inproceedings{DBLP:conf/concur/DemangeonH11,
  author    = {Romain Demangeon and
               Kohei Honda},
  title     = {Full Abstraction in a Subtyped pi-Calculus with Linear Types},
  booktitle = {CONCUR},
  year      = {2011},
  pages     = {280-296},
  ee        = {http://dx.doi.org/10.1007/978-3-642-23217-6_19},
  crossref  = {DBLP:conf/concur/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@inproceedings{DBLP:conf/sfm/BravettiZ09,
  author    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {Contract-Based Discovery and Composition of Web Services},
  booktitle = {Formal Methods for Web Services, 9th International School
               on Formal Methods for the Design of Computer, Communication,
               and Software Systems, SFM 2009},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5569},
  year      = {2009},
  pages     = {261-295},
  ee        = {http://dx.doi.org/10.1007/978-3-642-01918-0_7},
}

[7]

@inproceedings{DBLP:conf/soco/BravettiZ07,
  author    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {Towards a Unifying Theory for Choreography Conformance and
               Contract Compliance},
  booktitle = {Software Composition, 6th International Symposium, SC 2007,
               Braga, Portugal, March 24-25, 2007, Revised Selected Papers},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4829},
  year      = {2007},
  pages     = {34-50},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77351-1_4},
  }

[7]

@inproceedings{DBLP:conf/ppdp/CastagnaDGP09,
  author    = {Giuseppe Castagna and
               Mariangiola Dezani-Ciancaglini and
               Elena Giachino and
               Luca Padovani},
  title     = {Foundations of session types},
  booktitle = {PPDP},
  year      = {2009},
  pages     = {219-230},
  ee        = {http://doi.acm.org/10.1145/1599410.1599437},
  crossref  = {DBLP:conf/ppdp/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[2,7]

@inproceedings{DBLP:conf/ppdp/DardhaGS12,
  author    = {Ornela Dardha and
               Elena Giachino and
               Davide Sangiorgi},
  title     = {Session types revisited},
  booktitle = {PPDP},
  year      = {2012},
  pages     = {139-150},
  ee        = {http://doi.acm.org/10.1145/2370776.2370794},
  crossref  = {DBLP:conf/ppdp/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ppdp/2012,
  editor    = {Danny De Schreye and
               Gerda Janssens and
               Andy King},
  title     = {Principles and Practice of Declarative Programming, PPDP'12,
               Leuven, Belgium - September 19 - 21, 2012},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2012},
  isbn      = {978-1-4503-1522-7},
  ee        = {http://dl.acm.org/citation.cfm?id=2370776},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Castagna:2009:CMP:1611711.1611728,
   author = {Castagna, Giuseppe and Padovani, Luca},
   title = {Contracts for Mobile Processes},
   booktitle = {Proceedings of the 20th International Conference on Concurrency Theory},
   series = {CONCUR 2009},
   year = {2009},
   isbn = {978-3-642-04080-1},
   location = {Bologna, Italy},
   pages = {211--228},
   numpages = {18},
   url = {http://dx.doi.org/10.1007/978-3-642-04081-8_15},
   doi = {10.1007/978-3-642-04081-8_15},
   acmid = {1611728},
   publisher = {Springer-Verlag},
   address = {Berlin, Heidelberg},
} 

@incollection{brunisassone,
  year={2012},
  isbn={978-3-642-30064-6},
  booktitle={Trustworthy Global Computing},
  volume={7173},
  series={Lecture Notes in Computer Science},
  editor={Bruni, Roberto and Sassone, Vladimiro},
  doi={10.1007/978-3-642-30065-3_2},
  title={Asynchronous Distributed Monitoring for Multiparty Session Enforcement},
  url={http://dx.doi.org/10.1007/978-3-642-30065-3_2},
  publisher={Springer Berlin Heidelberg},
  author={Chen, Tzu-Chun and Bocchi, Laura and Deniélou, Pierre-Malo and Honda, Kohei and Yoshida, Nobuko},
  pages={25-45}
}

@inproceedings{huttel2011,
  author    = {Hans H{\"u}ttel},
  title     = {Typed psi-calculi},
  booktitle = {CONCUR},
  year      = {2011},
  pages     = {265-279},
  editor    = {Joost-Pieter Katoen and
               Barbara K{\"o}nig},
  publisher = springer,
  series    = lncs,
  volume    = {6901},
}

[8]

@incollection{huttel2013,
  year={2013},
  booktitle={Trustworthy Global Computing},
  series={Lecture Notes in Computer Science},
  title={{Types for Resources in $\psi$-calculi}},
  publisher={Springer Berlin Heidelberg},
  author={Hans H\"{u}ttel}}

@inproceedings{DBLP:conf/popl/CairesS13,
  author    = {Lu\'{\i}s Caires and Jo{\~a}o Costa Seco},
  title     = {The type discipline of behavioral separation},
  booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013},
  year      = {2013},
  publisher = {ACM},
  pages     = {275-286},
  ee        = {http://doi.acm.org/10.1145/2429069.2429103},
  bibsource = {DBLP, http://dblp.uni-trier.de} }

[3]

@inproceedings{DBLP:conf/tgc/BravettiLZ08,
  author    = {Mario Bravetti and
               Ivan Lanese and
               Gianluigi Zavattaro},
  title     = {Contract-Driven Implementation of Choreographies},
  booktitle = {TGC},
  year      = {2008},
  pages     = {1-18},
  editor    = {Christos Kaklamanis and
               Flemming Nielson},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5474},
  isbn      = {978-3-642-00944-0},
}

[4]

@inproceedings{DBLP:conf/concur/FossatiHY12,
  author    = {Luca Fossati and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Intensional and Extensional Characterisation of Global Progress
               in the -Calculus},
  booktitle = {CONCUR},
  year      = {2012},
  pages     = {287-301},
  ee        = {http://dx.doi.org/10.1007/978-3-642-32940-1_21},
  crossref  = {DBLP:conf/concur/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,7]

@inproceedings{DBLP:conf/esop/DenielouY12,
  author    = {Pierre-Malo Deni{\'e}lou and
               Nobuko Yoshida},
  title     = {Multiparty Session Types Meet Communicating Automata},
  booktitle = {ESOP},
  year      = {2012},
  pages     = {194-213},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28869-2_10},
  crossref  = {DBLP:conf/esop/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[5]

@article{DBLP:journals/cj/HondaY11,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {A Unified Theory of Program Logics: An Approach based on
               the -Calculus},
  journal   = {Comput. J.},
  volume    = {54},
  number    = {1},
  year      = {2011},
  pages     = {88-107},
  ee        = {http://dx.doi.org/10.1093/comjnl/bxp092},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[6,7]

@inproceedings{DBLP:conf/forte/KouzapasYH11,
  author    = {Dimitrios Kouzapas and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {On Asynchronous Session Semantics},
  booktitle = {FMOODS/FORTE},
  year      = {2011},
  pages     = {228-243},
  ee        = {http://dx.doi.org/10.1007/978-3-642-21461-5_15},
  crossref  = {DBLP:conf/forte/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3,4]

@inproceedings{DBLP:conf/popl/DenielouY11,
  author    = {Pierre-Malo Deni{\'e}lou and
               Nobuko Yoshida},
  title     = {Dynamic multirole session types},
  booktitle = {POPL},
  year      = {2011},
  pages     = {435-446},
  ee        = {http://doi.acm.org/10.1145/1926385.1926435},
  crossref  = {DBLP:conf/popl/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[7]

@article{DBLP:journals/tcs/VaraccaY10,
  author    = {Daniele Varacca and
               Nobuko Yoshida},
  title     = {Typed event structures and the linear pi-calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {411},
  number    = {19},
  year      = {2010},
  pages     = {1949-1973},
  ee        = {http://dx.doi.org/10.1016/j.tcs.2010.01.024},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[8]

@inproceedings{DBLP:conf/concur/DenielouY10,
  author    = {Pierre-Malo Deni{\'e}lou and
               Nobuko Yoshida},
  title     = {Buffered Communication Analysis in Distributed Multiparty
               Sessions},
  booktitle = {CONCUR},
  year      = {2010},
  pages     = {343-357},
  ee        = {http://dx.doi.org/10.1007/978-3-642-15375-4_24},
  crossref  = {DBLP:conf/concur/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@inproceedings{DBLP:conf/fossacs/YoshidaDBH10,
  author    = {Nobuko Yoshida and
               Pierre-Malo Deni{\'e}lou and
               Andi Bejleri and
               Raymond Hu},
  title     = {Parameterised Multiparty Session Types},
  booktitle = {FOSSACS},
  year      = {2010},
  pages     = {128-145},
  ee        = {http://dx.doi.org/10.1007/978-3-642-12032-9_10},
  crossref  = {DBLP:conf/fossacs/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,6]

@inproceedings{DBLP:conf/fsttcs/CapecchiGY10,
  author    = {Sara Capecchi and
               Elena Giachino and
               Nobuko Yoshida},
  title     = {Global Escape in Multiparty Sessions},
  booktitle = {FSTTCS},
  year      = {2010},
  pages     = {338-351},
  ee        = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.338},
  crossref  = {DBLP:conf/fsttcs/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@inproceedings{DBLP:journals/corr/abs-1011-6436,
  author    = {Lasse Nielsen and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {Multiparty Symmetric Sum Types},
  booktitle = {EXPRESS'10},
  year      = {2010},
  pages     = {121-135},
  ee        = {http://dx.doi.org/10.4204/EPTCS.41.9},
  crossref  = {DBLP:journals/corr/abs-1011-6012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[3,7,8]

@inproceedings{DBLP:conf/esop/MostrousYH09,
  author    = {Dimitris Mostrous and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {Global Principal Typing in Partially Commutative Asynchronous
               Sessions},
  booktitle = {ESOP},
  year      = {2009},
  pages     = {316-332},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00590-9_23},
  crossref  = {DBLP:conf/esop/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,6]

@inproceedings{DBLP:conf/sfm/CarboneYH09,
  author    = {Marco Carbone and
               Nobuko Yoshida and
               Kohei Honda},
  title     = {Asynchronous Session Types: Exceptions and Multiparty Interactions},
  booktitle = {SFM},
  year      = {2009},
  pages     = {187-212},
  ee        = {http://dx.doi.org/10.1007/978-3-642-01918-0_5},
  crossref  = {DBLP:conf/sfm/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,3]

@inproceedings{DBLP:conf/tlca/MostrousY09,
  author    = {Dimitris Mostrous and
               Nobuko Yoshida},
  title     = {Session-Based Communication Optimisation for Higher-Order
               Mobile Processes},
  booktitle = {TLCA},
  year      = {2009},
  pages     = {203-218},
  ee        = {http://dx.doi.org/10.1007/978-3-642-02273-9_16},
  crossref  = {DBLP:conf/tlca/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@article{DBLP:journals/entcs/CarboneHY08,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Theoretical Aspects of Communication-Centred Programming},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {209},
  year      = {2008},
  pages     = {125-133},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2008.04.007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[5]

@inproceedings{DBLP:conf/bcs/HondaY08,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {A Unified Theory of Program Logics: An Approach based on
               the n-Calculus},
  booktitle = {BCS Int. Acad. Conf.},
  year      = {2008},
  pages     = {259-274},
  ee        = {http://www.bcs.org/server.php?show=ConWebDoc.22910},
  crossref  = {DBLP:conf/bcs/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,6]

@inproceedings{DBLP:conf/concur/CarboneHY08,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Structured Interactional Exceptions in Session Types},
  booktitle = {CONCUR},
  year      = {2008},
  pages     = {402-417},
  ee        = {http://dx.doi.org/10.1007/978-3-540-85361-9_32},
  crossref  = {DBLP:conf/concur/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[5,7]

@inproceedings{DBLP:conf/icalp/BergerHY08,
  author    = {Martin Berger and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Completeness and Logical Full Abstraction in Modal Logics
               for Typed Mobile Processes},
  booktitle = {ICALP (2)},
  year      = {2008},
  pages     = {99-111},
  ee        = {http://dx.doi.org/10.1007/978-3-540-70583-3_9},
  crossref  = {DBLP:conf/icalp/2008-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@article{DBLP:journals/entcs/CarboneHY07,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {A Calculus of Global Interaction based on Session Types},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {171},
  number    = {3},
  year      = {2007},
  pages     = {127-151},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2006.12.041},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,4]

@article{DBLP:journals/jlp/YoshidaHB07,
  author    = {Nobuko Yoshida and
               Kohei Honda and
               Martin Berger},
  title     = {Linearity and bisimulation},
  journal   = {J. Log. Algebr. Program.},
  volume    = {72},
  number    = {2},
  year      = {2007},
  pages     = {207-238},
  ee        = {http://dx.doi.org/10.1016/j.jlap.2007.02.011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,4]

@article{DBLP:journals/toplas/HondaY07,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {A uniform type structure for secure information flow},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {29},
  number    = {6},
  year      = {2007},
  ee        = {http://doi.acm.org/10.1145/1286821.1286822},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,7]

@inproceedings{DBLP:conf/aplas/BergerY07,
  author    = {Martin Berger and
               Nobuko Yoshida},
  title     = {Timed, Distributed, Probabilistic, Typed Processes},
  booktitle = {APLAS},
  year      = {2007},
  pages     = {158-174},
  ee        = {http://dx.doi.org/10.1007/978-3-540-76637-7_11},
  crossref  = {DBLP:conf/aplas/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[2,4]

@inproceedings{DBLP:conf/tgc/Dezani-CiancaglinidY07,
  author    = {Mariangiola Dezani-Ciancaglini and
               Ugo de'Liguoro and
               Nobuko Yoshida},
  title     = {On Progress for Structured Communications},
  booktitle = {TGC},
  year      = {2007},
  pages     = {257-275},
  ee        = {http://dx.doi.org/10.1007/978-3-540-78663-4_18},
  crossref  = {DBLP:conf/tgc/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2]

@inproceedings{DBLP:conf/tlca/MostrousY07,
  author    = {Dimitris Mostrous and
               Nobuko Yoshida},
  title     = {Two Session Typing Systems for Higher-Order Mobile Processes},
  booktitle = {TLCA},
  year      = {2007},
  pages     = {321-335},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73228-0_23},
  crossref  = {DBLP:conf/tlca/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[7]

@article{DBLP:journals/entcs/VaraccaY06,
  author    = {Daniele Varacca and
               Nobuko Yoshida},
  title     = {Typed Event Structures and the {\it pi}-Calculus: Extended
               Abstract},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {158},
  year      = {2006},
  pages     = {373-397},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2006.04.019},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,3]

@article{DBLP:journals/entcs/Yoshida06,
  author    = {Nobuko Yoshida},
  title     = {Type-Based Security for Mobile Computing Integrity, Secrecy
               and Liveness},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {162},
  year      = {2006},
  pages     = {333-340},
  ee        = {http://dx.doi.org/10.1016/j.entcs.2005.12.115},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,7]

@article{DBLP:journals/acta/BergerHY05,
  author    = {Martin Berger and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Genericity and the pi-calculus},
  journal   = {Acta Inf.},
  volume    = {42},
  number    = {2-3},
  year      = {2005},
  pages     = {83-141},
  ee        = {http://dx.doi.org/10.1007/s00236-005-0175-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,7]

@article{DBLP:journals/acta/HennessyRY05,
  author    = {Matthew Hennessy and
               Julian Rathke and
               Nobuko Yoshida},
  title     = {safeDpi: a language for controlling mobile code},
  journal   = {Acta Inf.},
  volume    = {42},
  number    = {4-5},
  year      = {2005},
  pages     = {227-290},
  ee        = {http://dx.doi.org/10.1007/s00236-005-0178-y},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[2,3]

@article{DBLP:journals/jfp/HondaY05,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {Noninterference through flow analysis},
  journal   = {J. Funct. Program.},
  volume    = {15},
  number    = {2},
  year      = {2005},
  pages     = {293-349},
  ee        = {http://dx.doi.org/10.1017/S0956796804005477},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,4,7]

@article{DBLP:journals/iandc/YoshidaBH04,
  author    = {Nobuko Yoshida and
               Martin Berger and
               Kohei Honda},
  title     = {Strong normalisation in the pi -calculus},
  journal   = {Inf. Comput.},
  volume    = {191},
  number    = {2},
  year      = {2004},
  pages     = {145-202},
  ee        = {http://dx.doi.org/10.1016/j.ic.2003.08.004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,7]

@inproceedings{DBLP:conf/fossacs/HennessyRY04,
  author    = {Matthew Hennessy and
               Julian Rathke and
               Nobuko Yoshida},
  title     = {safeDpi: A Language for Controlling Mobile Code},
  booktitle = {FoSSaCS},
  year      = {2004},
  pages     = {241-256},
  ee        = {http://dx.doi.org/10.1007/978-3-540-24727-2_18},
  crossref  = {DBLP:conf/fossacs/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,3,4,7]

@inproceedings{DBLP:conf/popl/Yoshida04,
  author    = {Nobuko Yoshida},
  title     = {Channel dependent types for higher-order mobile processes},
  booktitle = {POPL},
  year      = {2004},
  pages     = {147-160},
  ee        = {http://doi.acm.org/10.1145/964001.964014},
  crossref  = {DBLP:conf/popl/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,7]

@inproceedings{DBLP:conf/fossacs/BergerHY03,
  author    = {Martin Berger and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Genericity and the pi-Calculus},
  booktitle = {FoSSaCS},
  year      = {2003},
  pages     = {103-119},
  ee        = {http://dx.doi.org/10.1007/3-540-36576-1_7},
  crossref  = {DBLP:conf/fossacs/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@article{DBLP:journals/iandc/YoshidaH02,
  author    = {Nobuko Yoshida and
               Matthew Hennessy},
  title     = {Assigning Types to Processes},
  journal   = {Inf. Comput.},
  volume    = {174},
  number    = {2},
  year      = {2002},
  pages     = {143-179},
  ee        = {http://dx.doi.org/10.1006/inco.2002.3113},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,4,7]

@inproceedings{DBLP:conf/fossacs/YoshidaHB02,
  author    = {Nobuko Yoshida and
               Kohei Honda and
               Martin Berger},
  title     = {Linearity and Bisimulation},
  booktitle = {FoSSaCS},
  year      = {2002},
  pages     = {417-434},
  ee        = {http://dx.doi.org/10.1007/3-540-45931-6_29},
  crossref  = {DBLP:conf/fossacs/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,4,7]

@inproceedings{DBLP:conf/popl/HondaY02,
  author    = {Kohei Honda and
               Nobuko Yoshida},
  title     = {A uniform type structure for secure information flow},
  booktitle = {POPL},
  year      = {2002},
  pages     = {81-92},
  ee        = {http://doi.acm.org/10.1145/503272.503281},
  crossref  = {DBLP:conf/popl/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,4,7]

@inproceedings{DBLP:conf/lics/YoshidaBH01,
  author    = {Nobuko Yoshida and
               Martin Berger and
               Kohei Honda},
  title     = {Strong Normalisation in the pi-Calculus},
  booktitle = {LICS},
  year      = {2001},
  pages     = {311-322},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2001.932507},
  crossref  = {DBLP:conf/lics/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


[1,2,4,7]

@inproceedings{DBLP:conf/tlca/BergerHY01,
  author    = {Martin Berger and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Sequentiality and the pi-Calculus},
  booktitle = {TLCA},
  year      = {2001},
  pages     = {29-45},
  ee        = {http://dx.doi.org/10.1007/3-540-45413-6_7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3]

@inproceedings{DBLP:conf/esop/HondaVY00,
  author    = {Kohei Honda and
               Vasco Thudichum Vasconcelos and
               Nobuko Yoshida},
  title     = {Secure Information Flow as Typed Process Behaviour},
  booktitle = {ESOP},
  year      = {2000},
  pages     = {180-199},
  ee        = {http://dx.doi.org/10.1007/3-540-46425-5_12},
  crossref  = {DBLP:conf/esop/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3,7]

@inproceedings{DBLP:conf/lics/YoshidaH00,
  author    = {Nobuko Yoshida and
               Matthew Hennessy},
  title     = {Assigning Types to Processes},
  booktitle = {LICS},
  year      = {2000},
  pages     = {334-345},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2000.855782},
  crossref  = {DBLP:conf/lics/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

[1,2,3,7]

@inproceedings{DBLP:conf/fsttcs/Yoshida96,
  author    = {Nobuko Yoshida},
  title     = {Graph Types for Monadic Mobile Processes},
  booktitle = {FSTTCS},
  year      = {1996},
  pages     = {371-386},
  ee        = {http://dx.doi.org/10.1007/3-540-62034-6_64},
  crossref  = {DBLP:conf/fsttcs/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}