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)

Abstract

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
• Status: Published
• Refereed: Yes
• 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

Project Code	Award No	Project Name	Principal Investigator	Funder's Name	Funder Ref	Lead Dept
61241	1	From Data Types to Session Types - A Basis for Concurrency and Distribution.	Simon Gay	Engineering & Physical Sciences Research Council (EPSRC)	EP/K034413/1	COM - COMPUTING SCIENCE