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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
S. Bavan, “A language for implementing parallel and distributed systems using asynchronous point-to-point communication", in Nova Science Publishers, Inc. Commak, NY, pp. 109-129, 2001.
S. Bavan and E. Illingworth, “Design and Implementation of Reliable Point-to-Point Asynchronous Message Passing System,” in the Proceedings of ICCI, Q8, 2000.
D. Gray, Introduction to the Formal Design of Real-Time Systems.Springer Verlag, 1999.
S. Bavan, A. Rajan and G. Abeysinghe, “Asynchronous message passing architecture for a distributed programming language,” Submitted for the IADIS Applied Computing 2007.
R. L. Crole, “Operational semantics, abstract machines and correctness,” Lecture Notes for the Midlands Graduate School in the Foundations of Computer Science, Leicester, 2006.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Rajan, A., Bavan, S., Abeysinghe, G. (2007). Semantics for an Asynchronous Message Passing System. In: Sobh, T. (eds) Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6268-1_16
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6268-1_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6267-4
Online ISBN: 978-1-4020-6268-1
eBook Packages: EngineeringEngineering (R0)