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.
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.
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.
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.
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.
Silvia Crafa (2012):
Behavioural Types for Actor Systems.
Technical Report.
Available at http://arxiv.org/abs/1206.1687.
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.
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.
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.
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.
James Noble, Jan Vitek & John Potter (1998):
Flexible Alias Protection.
In: ECOOP'98.
Springer,
pp. 158–185,
doi:10.1007/BFb0054091.
Optimizing Applications for NUMA.
https://software.intel.com/en-us/articles/optimizing-applications-for-numa.
B. Pierce & D. Sangiorgi (1993):
Typing and subtyping for mobile processes.
In: LICS'93,
pp. 376–385,
doi:10.1109/LICS.1993.287570.
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.
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.
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.
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.
eptcs@eptcs.org