Specification of asynchronous communicating systems (SACS).

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


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: A. > School of Science and Technology > Computer and Communications Engineering
Item ID: 2327
Depositing User: Repository team
Date Deposited: 18 May 2009 12:54
Last Modified: 13 Oct 2016 14:14
URI: https://eprints.mdx.ac.uk/id/eprint/2327

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.