Semantics for an asynchronous message passing system.

Conference paper

Rajan, A., Bavan, A. and Abeysinghe, G. 2006. Semantics for an asynchronous message passing system. International Conference on Systems, Computing Sciences and Software Engineering, CISSE 2006. Online 04 - 14 Dec 2006
TypeConference paper
TitleSemantics for an asynchronous message passing system.
AuthorsRajan, A., Bavan, A. and Abeysinghe, G.
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.

ConferenceInternational Conference on Systems, Computing Sciences and Software Engineering, CISSE 2006
Publication dates
PrintDec 2006
Publication process dates
Deposited25 Mar 2010
Output statusPublished
Web address (URL)http://link.springer.com/chapter/10.1007%2F978-1-4020-6268-1_16
LanguageEnglish
Permalink -

https://repository.mdx.ac.uk/item/826xq

Log in to edit
  • 12
    total views
  • 0
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as