Session Types for Broadcasting

Kouzapas, D., Gutkovas, R. and Gay, S. J. (2014) Session Types for Broadcasting. In: 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Grenoble, France, 12 Apr 2014, pp. 25-31. (doi: 10.4204/EPTCS.155.4)

[img] Text
101390.pdf - Published Version
Available under License Creative Commons Attribution.


Publisher's URL:


Up to now session types have been used under the assumptions of point to point communication, to ensure the linearity of session endpoints, and reliable communication, to ensure send/receive duality. In this paper we define a session type theory for broadcast communication semantics that by definition do not assume point to point and reliable communication. Our session framework lies on top of the parametric framework of broadcasting ψ-calculi, giving insights on developing session types within a parametric framework. Our session type theory enjoys the properties of soundness and safety. We further believe that the solutions proposed will eventually provide a deeper understanding of how session types principles should be applied in the general case of communication semantics.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Gay, Professor Simon and Kouzapas, Mr Dimitrios
Authors: Kouzapas, D., Gutkovas, R., and Gay, S. J.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2014 The Authors
First Published:First published in EPTCS 155:25-31
Publisher Policy:Reproduced under a Creative Commons License

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
612411From Data Types to Session Types - A Basis for Concurrency and Distribution.Simon GayEngineering & Physical Sciences Research Council (EPSRC)EP/K034413/1COM - COMPUTING SCIENCE