Two-Way Protocols for occam-pi

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Communicating Process Architectures 2008.

PDF
Download (145Kb)	Preview

Abstract

In the occam-pi programming language, the client-server communication pattern is generally implemented using a pair of unidirectional channels. While each channel's protocol can be specified individually, no mechanism is yet provided to indicate the relationship between the two protocols; it is therefore not possible to statically check the safety of client-server communications. This paper proposes two-way protocols for individual channels, which would both define the structure of messages and allow the patterns of communication between processes to be specified. We show how conformance to two-way protocols can be statically checked by the occam-pi compiler using Honda's session types. These mechanisms would considerably simplify the implementation of complex, dynamic client-server systems.

Item Type:	Conference or workshop item (Paper)
Uncontrolled keywords:	concurrency occam-pi protocols
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User:	Mark Wheadon
Date Deposited:	29 Mar 2010 12:14
Last Modified:	06 Sep 2011 04:56
Resource URI:	http://kar.kent.ac.uk/id/eprint/24099 (The current URI for this page, for reference purposes)

• Depositors only (login required):