@inproceedings(DBLP:conf/csfw/ArapinisRR11,
 author       = "Myrto Arapinis and Eike Ritter and Mark Dermot Ryan",
 year         = "2011",
 title        = "StatVerif: Verification of Stateful Processes",
 booktitle    = "CSF",
 publisher    = "IEEE Computer Society",
 pages        = "33--47",
 doi          = "10.1109/CSF.2011.10",
)
@inproceedings(DBLP:conf/icalp/BergerHY08,
 author       = "Martin Berger and Kohei Honda and Nobuko Yoshida",
 year         = "2008",
 title        = "Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes",
 booktitle    = "ICALP (2)",
 series       = "LNCS",
 volume       = "5126",
 publisher    = "Springer",
 pages        = "99--111",
 doi          = "10.1007/978-3-540-70583-3\_9",
)
@inproceedings(BDY12,
 author       = "Laura Bocchi and Romain Demangeon and Nobuko Yoshida",
 year         = "2013",
 title        = "A Multiparty Multi-session Logic",
 booktitle    = "TGC",
 series       = "LNCS",
 volume       = "8191",
 publisher    = "Springer",
 pages        = "97--111",
 doi          = "10.1007/978-3-642-41157-1\_7",
)
@inproceedings(BHTY10,
 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",
 series       = "LNCS",
 volume       = "6269",
 pages        = "162--176",
 doi          = "10.1007/978-3-642-15375-4\_12",
)
@inproceedings(CF10,
 author       = "Luis Caires and Frank Pfenning",
 year         = "2010",
 title        = "Session Types as Intuitionistic Linear Propositions",
 booktitle    = "CONCUR",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "222--236",
 doi          = "10.1007/978-3-642-15375-4\_16",
)
@inproceedings(DBLP:conf/tgc/CoppoD08,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini",
 year         = "2008",
 title        = "Structured Communications with Concurrent Constraints",
 booktitle    = "TGC",
 pages        = "104--125",
 doi          = "10.1007/978-3-642-00945-7\_7",
)
@article(DBLP:journals/tcs/Dam94,
 author       = "Mads Dam",
 year         = "1994",
 title        = "{CTL*} and {ECTL*} as Fragments of the Modal mu-Calculus",
 journal      = "TCS",
 volume       = "126",
 number       = "1",
 pages        = "77--96",
 doi          = "10.1016/0304-3975(94)90269-0",
)
@inproceedings(DY11,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",
 year         = "2011",
 title        = "Dynamic Multirole Session Types",
 booktitle    = "POPL",
 pages        = "435--446",
 doi          = "10.1145/1926385.1926435",
)
@article(Dijkstra:1975:GCN:360933.360975,
 author       = "Edsger W. Dijkstra",
 year         = "1975",
 title        = "Guarded commands, nondeterminacy and formal derivation of programs",
 journal      = "Commun. ACM",
 volume       = "18",
 pages        = "453--457",
 doi          = "10.1145/360933.360975",
)
@article(HennessyM:alglawfndac,
 author       = "Matthew Hennessy and Robin Milner",
 year         = "1985",
 title        = "Algebraic {L}aws for {N}on-{D}eterminism and {C}oncurrency",
 journal      = "JACM",
 volume       = "32",
 number       = "1",
 pages        = "137--161",
 doi          = "10.1145/2455.2460",
)
@inproceedings(HYC08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "{Multiparty Asynchronous Session Types}",
 booktitle    = "POPL'08",
 publisher    = "ACM",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(ICFP11,
 author       = "Nikhil Swamy and Juan Chen and Cedric Fournet and Pierre-Yves Strub and Karthikeyan Bharagavan and Jean Yang",
 year         = "2011",
 title        = "Secure Distributed Programming with Value-Dependent Types",
 booktitle    = "ICFP",
 publisher    = "ACM",
 pages        = "266--278",
 doi          = "10.1145/2034773.2034811",
)
@inproceedings(BCF11,
 author       = "Bernardo Toninho and Luis Caires and Frank Pfenning",
 year         = "2011",
 title        = "Dependent Session Types via Intuitionistic Linear Type Theory",
 booktitle    = "PPDP",
 publisher    = "ACM",
 pages        = "161--172",
 doi          = "10.1145/2003476.2003499",
)