Ericsson AB (2013):
Erlang/OTP - System Documentation: Supervisor Module.
http://www.erlang.org/doc/man/supervisor.html.
Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez & Gianluigi Zavattaro (2012):
Adaptable Processes.
Logical Methods in Computer Science 8(4).
Available at http://dx.doi.org/10.2168/LMCS-8(4:13)2012.
Extended abstract in Proc. of FMOODS-FORTE'11, Springer, LNCS 6722.
Marco Carbone & Søren Debois (2010):
A Graphical Approach to Progress for Structured Communication in Web Services.
In: Simon Bliudze, Roberto Bruni, Davide Grohmann & Alexandra Silva: ICE,
EPTCS 38,
pp. 13–27.
Available at http://dx.doi.org/10.4204/EPTCS.38.4.
Romain Demangeon & Kohei Honda (2012):
Nested Protocols in Session Types.
In: Maciej Koutny & Irek Ulidowski: CONCUR,
Lecture Notes in Computer Science 7454.
Springer,
pp. 272–286.
Available at http://dx.doi.org/10.1007/978-3-642-32940-1_20.
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri & Raymond Hu (2012):
Parameterised Multiparty Session Types.
Logical Methods in Computer Science 8(4).
Available at http://dx.doi.org/10.2168/LMCS-8(4:6)2012.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Nobuko Yoshida (2007):
On Progress for Structured Communications.
In: TGC 2007,
Lecture Notes in Computer Science 4912.
Springer,
pp. 257–275.
Available at http://dx.doi.org/10.1007/978-3-540-78663-4_18.
Cinzia Di Giusto & Jorge A. Pérez (2013):
Disciplined structured communications with consistent runtime adaptation.
In: Sung Y. Shin & José Carlos Maldonado: SAC.
ACM,
pp. 1913–1918.
Available at http://doi.acm.org/10.1145/2480362.2480716.
Cinzia Di Giusto & Jorge A. Pérez (2013):
Disciplined Structured Communications with Consistent Runtime Adaptation (Extended Version).
Technical Report.
CITI - FCT UNL.
Available at http://www.jorgeaperez.net/publications/sac13ext.pdf.
Pablo Garralda, Adriana B. Compagnoni & Mariangiola Dezani-Ciancaglini (2006):
BASS: boxed ambients with safe sessions.
In: PPDP.
ACM,
pp. 61–72.
Available at http://doi.acm.org/10.1145/1140335.1140344.
Simon J. Gay & Malcolm Hole (2005):
Subtyping for session types in the pi calculus.
Acta Inf. 42(2-3),
pp. 191–225.
Available at http://dx.doi.org/10.1007/s00236-005-0177-z.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP,
LNCS 1381.
Springer,
pp. 122–138.
Available at http://dx.doi.org/10.1007/BFb0053567.
Nobuko Yoshida & Vasco Thudichum Vasconcelos (2007):
Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.
Electr. Notes Theor. Comput. Sci. 171(4),
pp. 73–93.
Available at http://dx.doi.org/10.1016/j.entcs.2007.02.056.