Semantics for an asynchronous message passing system.
Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2007) Semantics for an asynchronous message passing system. In: Advances and innovations in systems, computing sciences and software engineering. Elleithy, Khaled, ed. Springer, pp. 83-88. ISBN 9781402062681. [Book Section] (doi:10.1007/978-1-4020-6268-1_16)
Abstract
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: | Book Section |
|---|---|
| Research Areas: | A. > School of Science and Technology > Computer and Communications Engineering |
| Item ID: | 2328 |
| Depositing User: | Repository team |
| Date Deposited: | 18 May 2009 13:03 |
| Last Modified: | 13 Oct 2016 14:14 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/2328 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)