@inproceedings(Berger2008Completeness-an,
 author       = "Martin Berger and Kohei Honda and Nobuko Yoshida",
 year         = "2008",
 title        = "Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes",
 editor       = "Luca Aceto",
 booktitle    = "ICALP'08",
 series       = "LNCS",
 volume       = "5126",
 publisher    = "Springer-Verlag, Berlin Germany",
 pages        = "99--111",
 doi          = "10.1007/978-3-540-70583-3\_9",
)
@inproceedings(Bocchi2010A-theory-of-des,
 author       = "Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida",
 year         = "2010",
 title        = "A theory of design-by-contract for distributed multiparty interactions",
 booktitle    = "CONCUR'10: Proceedings of the 21st International Conference on Concurrency Theory",
 series       = "{Lecture Notes in Computer Science}",
 publisher    = "Springer - Verlag",
 pages        = "162--176",
 doi          = "10.1007/978-3-642-15375-4\_12",
)
@conference(caires2001spatial,
 author       = "L. Caires and L. Cardelli",
 year         = "2001",
 title        = "{A spatial logic for concurrency (part I)}",
 booktitle    = "Theoretical Aspects of Computer Software",
 organization = "Springer",
 pages        = "1--37",
 doi          = "10.1007/3-540-45500-0\_1",
)
@inproceedings(CHY:dcm2006,
 author       = "M. Carbone and K. Honda and N. Yoshida",
 year         = "2007",
 title        = "A Calculus of Global Interaction based on Session Types",
 booktitle    = "2nd Workshop on Developments in Computational Models (DCM)",
 series       = "ENTCS",
 pages        = "127--151",
 doi          = "10.1016/j.entcs.2006.12.041",
)
@inproceedings(carbone7scc,
 author       = "M. Carbone and K. Honda and N. Yoshida",
 year         = "2007",
 title        = "{Structured communication-centred programming for web services}",
 booktitle    = "{16th European Symposium on Programming (ESOP)}",
 series       = "LNCS",
 volume       = "4421",
 publisher    = "Springer, Berlin Heidelberg",
 address      = "Braga, Portugal",
 pages        = "2--17",
 doi          = "10.1007/978-3-540-71316-6\_2",
)
@article(carbone:tbc,
 author       = "M. Carbone and K. Honda and N. Yoshida and R. Milner and G. Brown and S. Ross-Talbot",
 year         = "2009",
 title        = "{A Theoretical Basis of Communication-Centred Concurrent Programming}",
 journal      = "Web Services Choreography Working Group mailing list, WS-CDL working report",
)
@inproceedings(cg:popl00,
 author       = "Luca Cardelli and Andrew D. Gordon",
 year         = "2000",
 title        = "Anytime, Anywhere: Modal Logics for Mobile Ambients",
 booktitle    = "POPL",
 pages        = "365--377",
 doi          = "10.1145/325694.325742",
)
@inproceedings(ct:csl01,
 author       = "Witold Charatonik and Jean-Marc Talbot",
 year         = "2001",
 title        = "The Decidability of Model Checking Mobile Ambients",
 editor       = "Laurent Fribourg",
 booktitle    = "CSL",
 series       = "Lecture Notes in Computer Science",
 volume       = "2142",
 publisher    = "Springer",
 pages        = "339--354",
 doi          = "10.1007/3-540-44802-0\_24",
)
@conference(emerson1991temporal,
 author       = "E.A. Emerson",
 year         = "1991",
 title        = "{Temporal and modal logic}",
 booktitle    = "Handbook of theoretical computer science (vol. B)",
 organization = "MIT Press",
 pages        = "1072",
)
@conference(hennessy1980observing,
 author       = "M. Hennessy and R. Milner",
 year         = "1980",
 title        = "{On Observing Nondeterminism and Concurrency}",
 booktitle    = "Proceedings of the 7th Colloquium on Automata, Languages and Programming",
 organization = "Springer-Verlag London, UK",
 pages        = "299--309",
 doi          = "10.1007/3-540-10003-2\_79",
)
@inproceedings(honda1998lpa,
 author       = "K. Honda and V.T. Vasconcelos and M. Kubo",
 year         = "1998",
 title        = "{Language Primitives and Type Discipline for Structured Communication-Based Programming}",
 booktitle    = "7th European Symposium on Programming (ESOP): Programming Languages and Systems",
 publisher    = "Springer-Verlag London, UK",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@article(kavantzas2004web,
 author       = "N. Kavantzas and D. Burdett and G. Ritzinger and T. Fletcher and Y. Lafon and C. Barreto",
 year         = "2004",
 title        = "{Web services choreography description language version 1.0}",
 journal      = "W3C Working Draft",
 volume       = "17",
 pages        = "10--20041217",
)
@inproceedings(LOP-places09,
 author       = "Hugo A. L{\'o}pez and Carlos Olarte and Jorge A. P{\'e}rez",
 year         = "2010",
 title        = "{Towards a Unified Framework for Declarative Structured Communications}",
 booktitle    = "{Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'2009)}",
 series       = "EPTCS",
 volume       = "17",
 pages        = "1--15",
 doi          = "10.4204/EPTCS.17.1",
)
@book(milner:99:cmspc,
 author       = "Robin Milner",
 year         = "1999",
 title        = "{C}ommunicating and {M}obile systems. The {P}i {C}alculus",
 publisher    = "Cambridge University Press",
)
@inproceedings(semini,
 author       = "Carlo Montangero and Laura Semini",
 year         = "2006",
 title        = "A Logical View of Choreography",
 booktitle    = "COORDINATION",
 pages        = "179--193",
 doi          = "10.1007/11767954\_12",
)
@techreport(plotkin81structural,
 author       = "G. D. Plotkin",
 year         = "1981",
 title        = "A Structural Approach to Operational Semantics",
 type         = "Technical Report",
 institution  = "University of Aarhus",
)
@article(Post:pcp,
 author       = "Emil L. Post",
 year         = "1944",
 title        = "Recursively enumerable sets of positive integers and their decision problems",
 journal      = "Bulletin of the American Mathematical Society",
 volume       = "50",
 pages        = "284--316",
)
@article(reynolds2002sll,
 author       = "JC Reynolds",
 year         = "2002",
 title        = "{Separation logic: a logic for shared mutable data structures}",
 journal      = "Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on",
 pages        = "55--74",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029817",
)