Semantics for an Asynchronous Message Passing System
- A.V.S. RajanAffiliated withSchool of Computing Science Middlesex University
- , S. BavanAffiliated withSchool of Computing Science Middlesex University
- , G. AbeysingheAffiliated withSchool of Computing Science Middlesex University
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.
KeywordsOperational semantics Asynchronous Message Passing point-to-point message passing abstract machine.
- Semantics for an Asynchronous Message Passing System
- Book Title
- Innovations and Advanced Techniques in Computer and Information Sciences and Engineering
- pp 83-88
- Print ISBN
- Online ISBN
- Springer Netherlands
- Copyright Holder
- Additional Links
- Operational semantics
- Asynchronous Message Passing
- point-to-point message passing
- abstract machine.
- Industry Sectors
To view the rest of this content please follow the download PDF link above.