1. AMD Bulldozer Server.
  2. Giuseppe Castagna & Luca Padovani (2009): Contracts for Mobile Processes. In: CONCUR'2009, LNCS. Springer, pp. 211–228, doi:10.1007/978-3-642-04081-8_15.
  3. Satish Chandra, Vijay Saraswat, Vivek Sarkar & Rastislav Bodik (2008): Type Inference for Locality Analysis of Distributed Data Structures. In: PPoPP '08. ACM, pp. 11–22, doi:10.1145/1345206.1345211.
  4. Dave Clarke & Sophia Drossopoulou (2002): Ownership, Encapsulation and the Disjointness of Type and Effect. SIGPLAN Not. 37, pp. 292–310, doi:10.1145/583854.582447.
  5. Dave Clarke, Tobias Wrigstad, Johan Östlund & Einar Broch Johnsen (2008): Minimal Ownership for Active Objects. In: APLAS '08. Springer, pp. 139–154, doi:10.1007/978-3-540-89330-1_11.
  6. David G. Clarke, John M. Potter & James Noble (1998): Ownership Types for Flexible Alias Protection. In: OOPSLA '98. ACM, pp. 48–64, doi:10.1145/286936.286947.
  7. Silvia Crafa (2012): Behavioural Types for Actor Systems. Technical Report. Available at
  8. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language primitives and type disciplines for structured communication-based programming. In: European Symposym on Programming, LNCS 1381. Springer, pp. 22–138, doi:10.1007/BFb0053567.
  9. Naoki Kobayashi (2003): Type Systems for Concurrent Programs. In: Formal Methods at the Crossroads. From Panacea to Foundational Support, LNCS 2757. Springer, pp. 439–453, doi:10.1007/978-3-540-40007-3_26.
  10. Dimitris Mostrous & Vasco Thudichum Vasconcelos (2011): Session Typing for a Featherweight Erlang. In: COORDINATION 2011, LNCS 6721. Springer, pp. 95–109, doi:10.1007/978-3-642-21464-6_7.
  11. Rumyana Neykova & Nobuko Yoshida (2014): Multiparty Session Actors. In: COORDINATION 2014, LNCS 8459. Springer, pp. 131–146, doi:10.1007/978-3-662-43376-8_9.
  12. James Noble, Jan Vitek & John Potter (1998): Flexible Alias Protection. In: ECOOP'98. Springer, pp. 158–185, doi:10.1007/BFb0054091.
  13. Optimizing Applications for NUMA.
  14. B. Pierce & D. Sangiorgi (1993): Typing and subtyping for mobile processes. In: LICS'93, pp. 376–385, doi:10.1109/LICS.1993.287570.
  15. Martin C. Rinard (1997): Locality Optimizations for Parallel Computing Using Data Access Information. International Journal of High Speed Computing 9(2), pp. 161–179, doi:10.1142/S0129053397000118.
  16. Martin C. Rinard, Daniel J. Scales & Monica S. Lam (1993): Jade: A High-Level, Machine-Independent Language for Parallel Programming. IEEE Computer 26, doi:10.1109/2.214440.
  17. Vijay A. Saraswat, Vivek Sarkar & Christoph von Praun (2007): X10: Concurrent Programming for Modern Architectures. In: PPoPP '07. ACM, pp. 271–271, doi:10.1145/1229428.1229483.
  18. R.E. Strom & S. Yemini (1986): Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, pp. 157–171, doi:10.1109/TSE.1986.6312929.

Comments and questions to:
For website issues: