Specification of asynchronous communicating systems (SACS).

Bavan, A. S. and Illingworth, E. and Rajan, A. V. S. and Abeysinghe, Geetha (2007) Specification of asynchronous communicating systems (SACS). IADIS. ISBN 9789728924300

Full text is not in this repository.

Official URL: http://www.iadis.net/dl/final_uploads/200702L036.p...

Abstract

This paper presents the Specification of Asynchronous Communication System (SACS), a formal notation that is used to specify an asynchronous message passing system which uses point-to-point communication. SACS is a modified version of a synchronous variant of the Calculus of Communicating System (CCS) known as the Synchronous Calculus of Communicating Systems (SCCS). The basic aim of this technique is to separate communication from computation so that these two activities can proceed independently as far as possible. Except for the asynchronous nature, the communication is assumed to be point-to-point as in SCCS. These design techniques allow the programmer to develop programs that are virtually free of livelock and deadlock conditions. SACS complies with four design rules which emerged from our experience in developing distributed applications using a message passing language called Language for Implementing Parallel/distributed Systems (LIPS).

Item Type:Book
Research Areas:School of Science and Technology > Computer and Communications Engineering
ID Code:2327
Useful Links:
Deposited On:18 May 2009 12:54
Last Modified:06 Feb 2013 11:40

Repository staff and depositor only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year