@misc(Bulldozer,
 title        = {AMD Bulldozer Server},
 howpublished = {\url{http://www.amd.com/en-us/products/server}},
)
@incollection(contracts,
 author       = {Giuseppe Castagna and Luca Padovani},
 year         = {2009},
 title        = {Contracts for Mobile Processes},
 booktitle    = {CONCUR'2009},
 series       = {LNCS},
 publisher    = {Springer},
 pages        = {211--228},
 doi          = {10.1007/978-3-642-04081-8\_15},
)
@inproceedings(x10_locality:chandra,
 author       = {Satish Chandra and Vijay Saraswat and Vivek Sarkar and Rastislav Bodik},
 year         = {2008},
 title        = {Type Inference for Locality Analysis of Distributed Data Structures},
 booktitle    = {PPoPP '08},
 publisher    = {ACM},
 pages        = {11--22},
 doi          = {10.1145/1345206.1345211},
)
@article(Clarke_oopsla12,
 author       = {Dave Clarke and Sophia Drossopoulou},
 year         = {2002},
 title        = {Ownership, Encapsulation and the Disjointness of Type and Effect},
 journal      = {SIGPLAN Not.},
 volume       = {37},
 pages        = {292--310},
 doi          = {10.1145/583854.582447},
)
@inproceedings(Clarke:active_objects_ownership,
 author       = {Dave Clarke and Tobias Wrigstad and Johan \"{O}stlund and Einar Broch Johnsen},
 year         = {2008},
 title        = {Minimal Ownership for Active Objects},
 booktitle    = {APLAS '08},
 publisher    = {Springer},
 pages        = {139--154},
 doi          = {10.1007/978-3-540-89330-1\_11},
)
@inproceedings(clarke_potter_noble:ownership_types,
 author       = {David G. Clarke and John M. Potter and James Noble},
 year         = {1998},
 title        = {Ownership Types for Flexible Alias Protection},
 booktitle    = {OOPSLA '98},
 publisher    = {ACM},
 pages        = {48--64},
 doi          = {10.1145/286936.286947},
)
@techreport(crafa_actors,
 author       = {Silvia Crafa},
 year         = {2012},
 title        = {Behavioural Types for Actor Systems},
 type         = {Technical Report},
 url          = {http://arxiv.org/abs/1206.1687},
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = {Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language primitives and type disciplines for structured communication-based programming},
 booktitle    = {European Symposym on Programming},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {22--138},
 doi          = {10.1007/BFb0053567},
)
@incollection(Kobayashi2001,
 author       = {Naoki Kobayashi},
 year         = {2003},
 title        = {Type Systems for Concurrent Programs},
 booktitle    = {Formal Methods at the Crossroads. From Panacea to Foundational Support},
 series       = {LNCS},
 volume       = {2757},
 publisher    = {Springer},
 pages        = {439--453},
 doi          = {10.1007/978-3-540-40007-3\_26},
)
@inproceedings(mostrous.vasconcelos:session-typing-erlang,
 author       = {Dimitris Mostrous and Vasco Thudichum Vasconcelos},
 year         = {2011},
 title        = {Session Typing for a Featherweight {E}rlang},
 booktitle    = {COORDINATION 2011},
 series       = {LNCS},
 volume       = {6721},
 publisher    = {Springer},
 pages        = {95--109},
 doi          = {10.1007/978-3-642-21464-6\_7},
)
@inproceedings(NY2014,
 author       = {Rumyana Neykova and Nobuko Yoshida},
 year         = {2014},
 title        = {Multiparty Session Actors},
 booktitle    = {COORDINATION 2014},
 series       = {LNCS},
 volume       = {8459},
 publisher    = {Springer},
 pages        = {131--146},
 doi          = {10.1007/978-3-662-43376-8\_9},
)
@inproceedings(Noble98flexiblealias,
 author       = {James Noble and Jan Vitek and John Potter},
 year         = {1998},
 title        = {Flexible Alias Protection},
 booktitle    = {ECOOP'98},
 publisher    = {Springer},
 pages        = {158--185},
 doi          = {10.1007/BFb0054091},
)
@misc(NUMA,
 title        = {Optimizing Applications for NUMA},
 howpublished = {\url{https://software.intel.com/en-us/articles/optimizing-applications-for-numa}},
)
@inproceedings(pierce_sangiorgi,
 author       = {B. Pierce and D. Sangiorgi},
 year         = {1993},
 title        = {Typing and subtyping for mobile processes},
 booktitle    = {LICS'93},
 pages        = {376--385},
 doi          = {10.1109/LICS.1993.287570},
)
@article(locality_rinard,
 author       = {Martin C. Rinard},
 year         = {1997},
 title        = {Locality Optimizations for Parallel Computing Using Data Access Information},
 journal      = {International Journal of High Speed Computing},
 volume       = {9},
 number       = {2},
 pages        = {161--179},
 doi          = {10.1142/S0129053397000118},
)
@article(jade,
 author       = {Martin C. Rinard and Daniel J. Scales and Monica S. Lam},
 year         = {1993},
 title        = {Jade: A High-Level, Machine-Independent Language for Parallel Programming},
 journal      = {IEEE Computer},
 volume       = {26},
 doi          = {10.1109/2.214440},
)
@inproceedings(Saraswat:x10,
 author       = {Vijay A. Saraswat and Vivek Sarkar and Christoph von Praun},
 year         = {2007},
 title        = {X10: Concurrent Programming for Modern Architectures},
 booktitle    = {PPoPP '07},
 publisher    = {ACM},
 pages        = {271--271},
 doi          = {10.1145/1229428.1229483},
)
@article(typestate86,
 author       = {R.E. Strom and S. Yemini},
 year         = {1986},
 title        = {Typestate: A programming language concept for enhancing software reliability},
 journal      = {IEEE Transactions on Software Engineering},
 pages        = {157--171},
 doi          = {10.1109/TSE.1986.6312929},
)