Semantics for an Asynchronous Message Passing System

  • A.V.S. Rajan
  • S. Bavan
  • G. Abeysinghe
Conference paper

DOI: 10.1007/978-1-4020-6268-1_16

Cite this paper as:
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

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.

Keywords

Operational semantics Asynchronous Message Passing point-to-point message passing abstract machine. 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2007

Authors and Affiliations

  • A.V.S. Rajan
    • 1
  • S. Bavan
    • 1
  • G. Abeysinghe
    • 1
  1. 1.School of Computing Science Middlesex UniversityLondon NW4 4BT UK

Personalised recommendations