@book(DBLP:books/daglib/0066897,
 author       = "Gul A. Agha",
 year         = "1990",
 title        = "ACTORS - a model of concurrent computation in distributed systems",
 series       = "MIT Press series in artificial intelligence",
 publisher    = "MIT Press",
)
@inproceedings(DBLP:conf/popl/AlurCMN05,
 author       = "Rajeev Alur and Pavol Cern{\'y} and P. Madhusudan and Wonhong Nam",
 year         = "2005",
 title        = "Synthesis of interface specifications for Java classes",
 editor       = "Jens Palsberg and Mart\'{\i }n Abadi",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "98--109",
 url          = "http://doi.acm.org/10.1145/1040305.1040314",
)
@inproceedings(Barendregt92lambdacalculi,
 author       = "Henk Barendregt and S. Abramsky and D. M. Gabbay and T. S. E. Maibaum and H. P. Barendregt",
 year         = "1992",
 title        = "Lambda Calculi with Types",
 booktitle    = "Handbook of Logic in Computer Science",
 publisher    = "Oxford University Press",
 pages        = "117--309",
)
@inproceedings(DBLP:conf/popl/BasuBO12,
 author       = "Samik Basu and Tevfik Bultan and Meriem Ouederni",
 year         = "2012",
 title        = "Deciding choreography realizability",
 editor       = "John Field and Michael Hicks",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "191--202",
 url          = "http://doi.acm.org/10.1145/2103656.2103680",
)
@inproceedings(DBLP:conf/icfem/Bejleri10,
 author       = "Andi Bejleri",
 year         = "2010",
 title        = "Practical Parameterised Session Types",
 editor       = "Jin Song Dong and Huibiao Zhu",
 booktitle    = "ICFEM",
 series       = "Lecture Notes in Computer Science",
 volume       = "6447",
 publisher    = "Springer",
 pages        = "270--286",
 url          = "http://dx.doi.org/10.1007/978-3-642-16901-4_19",
)
@inproceedings(DBLP:conf/concur/BettiniCDLDY08,
 author       = "Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2008",
 title        = "Global Progress in Dynamically Interleaved Multiparty Sessions",
 editor       = "van Breugel and Chechik",
 pages        = "418--433",
 url          = "http://dx.doi.org/10.1007/978-3-540-85361-9_33",
)
@inproceedings(DBLP:conf/tgc/BonelliC07,
 author       = "Eduardo Bonelli and Adriana B. Compagnoni",
 year         = "2007",
 title        = "Multipoint Session Types for a Distributed Calculus",
 editor       = "Gilles Barthe and C{\'e}dric Fournet",
 booktitle    = "TGC",
 series       = "Lecture Notes in Computer Science",
 volume       = "4912",
 publisher    = "Springer",
 pages        = "240--256",
 url          = "http://dx.doi.org/10.1007/978-3-540-78663-4_17",
)
@proceedings(DBLP:conf/concur/2008,
 editor       = "Franck van Breugel and Marsha Chechik",
 year         = "2008",
 title        = "CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "5201",
 publisher    = "Springer",
)
@inproceedings(DBLP:conf/esop/CarboneHY07,
 author       = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
 year         = "2007",
 title        = "Structured Communication-Centred Programming for Web Services",
 editor       = "Rocco {De Nicola}",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "2--17",
 url          = "http://dx.doi.org/10.1007/978-3-540-71316-6_2",
)
@inproceedings(DBLP:conf/concur/CarboneHY08,
 author       = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
 year         = "2008",
 title        = "Structured Interactional Exceptions in Session Types",
 editor       = "van Breugel and Chechik",
 pages        = "402--417",
 url          = "http://dx.doi.org/10.1007/978-3-540-85361-9_32",
)
@inproceedings(DBLP:conf/sfm/CarboneYH09,
 author       = "Marco Carbone and Nobuko Yoshida and Kohei Honda",
 year         = "2009",
 title        = "Asynchronous Session Types: Exceptions and Multiparty Interactions",
 editor       = "Marco Bernardo and Luca Padovani and Gianluigi Zavattaro",
 booktitle    = "SFM",
 series       = "Lecture Notes in Computer Science",
 volume       = "5569",
 publisher    = "Springer",
 pages        = "187--212",
 url          = "http://dx.doi.org/10.1007/978-3-642-01918-0_5",
)
@inproceedings(DBLP:conf/forte/CastagnaDP11,
 author       = "Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Luca Padovani",
 year         = "2011",
 title        = "On Global Types and Multi-party Sessions",
 editor       = "Roberto Bruni and J{\"u}rgen Dingel",
 booktitle    = "FMOODS/FORTE",
 series       = "Lecture Notes in Computer Science",
 volume       = "6722",
 publisher    = "Springer",
 pages        = "1--28",
 url          = "http://dx.doi.org/10.1007/978-3-642-21461-5_1",
)
@techreport(longVersion,
 author       = "Minas Charalambides and Peter Dinges and Gul Agha",
 year         = "2012",
 title        = "Parameterized Concurrent Multi-Party Session Types",
 type         = "Technical Report",
 institution  = "Department of Computer Science, University of Illinois at Urbana--Champaign",
 url          = "http://osl.cs.illinois.edu",
 note         = "In preparation",
)
@inproceedings(DBLP:conf/popl/DenielouY11,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",
 year         = "2011",
 title        = "Dynamic multirole session types",
 editor       = "Thomas Ball and Mooly Sagiv",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "435--446",
 url          = "http://doi.acm.org/10.1145/1926385.1926435",
)
@inproceedings(DBLP:conf/esop/DenielouY12,
 author       = "Pierre-Malo Deni{\'e}lou and Nobuko Yoshida",
 year         = "2012",
 title        = "Multiparty Session Types Meet Communicating Automata",
 editor       = "Helmut Seidl",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "7211",
 publisher    = "Springer",
 pages        = "194--213",
 url          = "http://dx.doi.org/10.1007/978-3-642-28869-2_10",
)
@inproceedings(DBLP:conf/fmco/Dezani-CiancagliniGDY06,
 author       = "Mariangiola Dezani-Ciancaglini and Elena Giachino and Sophia Drossopoulou and Nobuko Yoshida",
 year         = "2006",
 title        = "Bounded Session Types for Object Oriented Languages",
 editor       = "Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever",
 booktitle    = "FMCO",
 series       = "Lecture Notes in Computer Science",
 volume       = "4709",
 publisher    = "Springer",
 pages        = "207--245",
 url          = "http://dx.doi.org/10.1007/978-3-540-74792-5_10",
)
@inproceedings(DBLP:conf/coordination/DingesA12,
 author       = "Peter Dinges and Gul Agha",
 year         = "2012",
 title        = "Scoped Synchronization Constraints for Large Scale Actor Systems",
 editor       = "Marjan Sirjani",
 booktitle    = "COORDINATION",
 series       = "Lecture Notes in Computer Science",
 volume       = "7274",
 publisher    = "Springer",
 pages        = "89--103",
 url          = "http://dx.doi.org/10.1007/978-3-642-30829-1_7",
)
@inproceedings(eugster2012sound,
 author       = "P. Eugster and T.F.S. Frischbier and S.A.A. Buchmann",
 year         = "2012",
 title        = "Sound Transformations for Federated Objects",
 editor       = "Matthew B. Dwyer",
 booktitle    = "OOPSLA",
 publisher    = "ACM",
 url          = "http://www.dvs.tu-darmstadt.de/publications/pdf/transsem.pdf",
)
@book(DBLP:books/daglib/0015082,
 author       = "Svend Fr{\o }lund",
 year         = "1996",
 title        = "Coordinating distributed objects - an actor-based approach to synchronization",
 publisher    = "MIT Press",
)
@inproceedings(DBLP:conf/ecoop/FrolundA93,
 author       = "Svend Fr{\o }lund and Gul Agha",
 year         = "1993",
 title        = "A Language Framework for Multi-Object Coordination",
 editor       = "Oscar Nierstrasz",
 booktitle    = "ECOOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "707",
 publisher    = "Springer",
 pages        = "346--360",
 url          = "http://dx.doi.org/10.1007/3-540-47910-4_18",
)
@article(DBLP:journals/acta/GayH05,
 author       = "Simon J. Gay and Malcolm Hole",
 year         = "2005",
 title        = "Subtyping for session types in the pi calculus",
 journal      = "Acta Inf.",
 volume       = "42",
 number       = "2-3",
 pages        = "191--225",
 url          = "http://dx.doi.org/10.1007/s00236-005-0177-z",
)
@article(DBLP:journals/jfp/GayV10,
 author       = "Simon J. Gay and Vasco Thudichum Vasconcelos",
 year         = "2010",
 title        = "Linear type theory for asynchronous session types",
 journal      = "J. Funct. Program.",
 volume       = "20",
 number       = "1",
 pages        = "19--50",
 url          = "http://dx.doi.org/10.1017/S0956796809990268",
)
@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",
 year         = "2010",
 title        = "Modular session types for distributed object-oriented programming",
 editor       = "Manuel V. Hermenegildo and Jens Palsberg",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "299--312",
 url          = "http://doi.acm.org/10.1145/1706299.1706335",
)
@article(giachinodeadlocks,
 author       = "E. Giachino and C. Laneve and T. Lascu",
 year         = "2012",
 title        = "Deadlocks and Livelocks in Concurrent Objects with Futures",
 url          = "http://www.cs.unibo.it/~laneve/papers/submLockAnalysis.pdf",
)
@article(godel1958systemT,
 author       = "Kurt G\"{o}del",
 year         = "1958",
 title        = "\"{U}ber eine bisher noch nicht ben\"{u}tzte Erweiterung des finiten Standpunktes",
 journal      = "Dialectica",
 pages        = "280–287",
)
@inproceedings(DBLP:conf/concur/Honda93,
 author       = "Kohei Honda",
 year         = "1993",
 title        = "Types for Dyadic Interaction",
 editor       = "Eike Best",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "715",
 publisher    = "Springer",
 pages        = "509--523",
 url          = "http://dx.doi.org/10.1007/3-540-57208-2_35",
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 author       = "Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 editor       = "Chris Hankin",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "1381",
 publisher    = "Springer",
 pages        = "122--138",
 url          = "http://dx.doi.org/10.1007/BFb0053567",
)
@inproceedings(DBLP:conf/popl/HondaYC08,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 editor       = "George C. Necula and Philip Wadler",
 booktitle    = "POPL",
 publisher    = "ACM",
 pages        = "273--284",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)
@inproceedings(DBLP:conf/ecoop/HuYH08,
 author       = "Raymond Hu and Nobuko Yoshida and Kohei Honda",
 year         = "2008",
 title        = "Session-Based Distributed Programming in Java",
 editor       = "Jan Vitek",
 booktitle    = "ECOOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "5142",
 publisher    = "Springer",
 pages        = "516--541",
 url          = "http://dx.doi.org/10.1007/978-3-540-70592-5_22",
)
@article(DBLP:journals/concurrency/MiliciaS05,
 author       = "Giuseppe Milicia and Vladimiro Sassone",
 year         = "2005",
 title        = "Jeeg: temporal constraints for the synchronization of concurrent objects",
 journal      = "Concurrency - Practice and Experience",
 volume       = "17",
 number       = "5-6",
 pages        = "539--572",
 url          = "http://dx.doi.org/10.1002/cpe.849",
)
@inproceedings(DBLP:conf/esop/MostrousYH09,
 author       = "Dimitris Mostrous and Nobuko Yoshida and Kohei Honda",
 year         = "2009",
 title        = "Global Principal Typing in Partially Commutative Asynchronous Sessions",
 editor       = "Giuseppe Castagna",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "5502",
 publisher    = "Springer",
 pages        = "316--332",
 url          = "http://dx.doi.org/10.1007/978-3-642-00590-9_23",
)
@misc(neubauer2004asynchronous,
 author       = "Matthias Neubauer and Peter Thiemann",
 year         = "2004",
 title        = "Session Types for Asynchronous Communication",
 url          = "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.9.9995&rep=rep1&type=pdf",
)
@article(DBLP:journals/computer/Peltz03,
 author       = "Chris Peltz",
 year         = "2003",
 title        = "Web Services Orchestration and Choreography",
 journal      = "IEEE Computer",
 volume       = "36",
 number       = "10",
 pages        = "46--52",
 url          = "http://doi.ieeecomputersociety.org/10.1109/MC.2003.1236471",
)
@article(DBLP:journals/tc/ProbertS91,
 author       = "Robert L. Probert and Kassem Saleh",
 year         = "1991",
 title        = "Synthesis of Communication Protocols: Survey and Assessment",
 journal      = "IEEE Trans. Computers",
 volume       = "40",
 number       = "4",
 pages        = "468--476",
 url          = "http://doi.ieeecomputersociety.org/10.1109/12.88466",
)
@inproceedings(DBLP:conf/haskell/PucellaT08,
 author       = "Riccardo Pucella and Jesse A. Tov",
 year         = "2008",
 title        = "Haskell session types with (almost) no class",
 editor       = "Andy Gill",
 booktitle    = "Haskell",
 publisher    = "ACM",
 pages        = "25--36",
 url          = "http://doi.acm.org/10.1145/1411286.1411290",
)
@inproceedings(DBLP:conf/parle/TakeuchiHK94,
 author       = "Kaku Takeuchi and Kohei Honda and Makoto Kubo",
 year         = "1994",
 title        = "An Interaction-based Language and its Typing System",
 editor       = "Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis",
 booktitle    = "PARLE",
 series       = "Lecture Notes in Computer Science",
 volume       = "817",
 publisher    = "Springer",
 pages        = "398--413",
 url          = "http://dx.doi.org/10.1007/3-540-58184-7_118",
)
@article(DBLP:journals/tcs/VasconcelosGR06,
 author       = "Vasco Thudichum Vasconcelos and Simon J. Gay and Ant{\'o}nio Ravara",
 year         = "2006",
 title        = "Type checking a multithreaded functional language with session types",
 journal      = "Theor. Comput. Sci.",
 volume       = "368",
 number       = "1-2",
 pages        = "64--87",
 url          = "http://dx.doi.org/10.1016/j.tcs.2006.06.028",
)
@inproceedings(DBLP:conf/fossacs/YoshidaDBH10,
 author       = "Nobuko Yoshida and Pierre-Malo Deni{\'e}lou and Andi Bejleri and Raymond Hu",
 year         = "2010",
 title        = "Parameterised Multiparty Session Types",
 editor       = "C.-H. Luke Ong",
 booktitle    = "FOSSACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "6014",
 publisher    = "Springer",
 pages        = "128--145",
 url          = "http://dx.doi.org/10.1007/978-3-642-12032-9_10",
)
@article(DBLP:journals/entcs/YoshidaV07,
 author       = "Nobuko Yoshida and Vasco Thudichum Vasconcelos",
 year         = "2007",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "171",
 number       = "4",
 pages        = "73--93",
 url          = "http://dx.doi.org/10.1016/j.entcs.2007.02.056",
)
@inproceedings(yuang1988,
 author       = "M.C. Yuang",
 year         = "1988",
 title        = "Survey of protocol verification techniques based on finite state machine models",
 booktitle    = "Computer Networking Symposium, 1988., Proceedings of the",
 pages        = "164 --172",
 doi          = "10.1109/CNS.1988.4993",
)