[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},
}
[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}
}