Session types for broadcasting

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 155, Issue , 2014, Pages 25-31

  Kouzapas, Dimitrios ^a   Gutkovas, Ramu¯nas ^b   Gay, Simon J ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

BROADCAST COMMUNICATION; POINT TO POINT; POINT-TO-POINT COMMUNICATION; RELIABLE COMMUNICATION; SESSION TYPES;

FORMAL LANGUAGES;

EID: 84938703585     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.155.4     Document Type: Conference Paper

References (7)

1. Jesper Bengtson, Magnus Johansson, Joachim Parrow & Bjorn Victor (2009): Psi-calculi: Mobile Processes, Nominal Data, and Logic. In: LICS, pp. 39-48, doi: 10.1109/LICS.2009.20.
2. Johannes Borgstrom, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Bjorn Victor, Johannes Aman Pohjola & Joachim Parrow (2011): Broadcast Psi-calculi with an Application to Wireless Protocols. In Gilles Barthe, Alberto Pardo & Gerardo Schneider, editors: SEFM, Lecture Notes in Computer Science 7041, Springer, pp. 74-89, doi:10.1007/978-3-642-24690-6-7.
3. Sara Capecchi, Elena Giachino & Nobuko Yoshida (2014): Global Escape in Multiparty Sessions. Mathematical Structures in Computer Science. To appear.
4. 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-932.
5. 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.
6. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty Asynchronous Session Types. In: POPL'08, ACM, pp. 273-284, doi: 10.1145/1328897.1328472.
7. 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.