Semantics for an asynchronous message passing system.

Rajan, A. V. S. and Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for an asynchronous message passing system. In: International Conference on Systems, Computing Sciences and Software Engineering, CISSE 2006, 4 - 14 December 2006, Online.

Full text is not in this repository.

Official URL:


The main focus of this paper is to define the operational semantics for the message passing strategy called Asynchronous Message Passing System (AMPS) used in the distributed programming language, LIPS (Language for Implementing Parallel/distributed Systems). AMPS is a point-to-point message passing system that does not use any message buffers. It is based on simple architecture and interfaces. In order to adequately provide implementation information for the message passing strategy, we have defined the operational semantics and the codes needed for the abstract machine of LIPS.

Item Type:Conference or Workshop Item (Paper)
Research Areas:A. > School of Science and Technology > Computer and Communications Engineering
ID Code:4726
Deposited On:25 Mar 2010 14:18
Last Modified:23 Sep 2015 16:40

Repository staff 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