Jesper Bengtson, Magnus Johansson, Joachim Parrow & Björn Victor (2009):
Psi-calculi: Mobile Processes, Nominal Data, and Logic.
In: LICS,
pp. 39–48,
doi:10.1109/LICS.2009.20.
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola & Joachim Parrow (2011):
Broadcast Psi-calculi with an Application to Wireless Protocols..
In: Gilles Barthe, Alberto Pardo & Gerardo Schneider: SEFM,
Lecture Notes in Computer Science 7041.
Springer,
pp. 74–89,
doi:10.1007/978-3-642-24690-6_7.
Sara Capecchi, Elena Giachino & Nobuko Yoshida (2014):
Global Escape in Multiparty Sessions.
Mathematical Structures in Computer Science.
To appear.
Marco Carbone, Kohei Honda & Nobuko Yoshida (2008):
Structured Interactional Exceptions in Session Types.
In: CONCUR,
LNCS 5201.
Springer,
pp. 402–417,
doi:10.1007/978-3-540-85361-9_32.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Disciplines for Structured Communication-based Programming.
In: ESOP'98,
LNCS 1381.
Springer,
pp. 22–138,
doi:10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL'08.
ACM,
pp. 273–284,
doi:10.1145/1328897.1328472.
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,
doi:10.1016/j.entcs.2007.02.056.
eptcs@eptcs.org