Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems

This paper presents the operational semantics for the message passing system for a distributed language called LIPS. The message passing system is based on a virtual machine called AMPS(Asynchronous Message Passing System) designed around a data structure that is portable and can go with any distributed language. The operational semantics that specifies the behaviour of this system uses structured operational semantics to reveal the intermediate steps that helps with analysis of its behaviour. We are able combine this with the big-step semantics that specifies the computational part of the language to produce a cohesive semantics for the language as a whole.

Presented at and published in p1-6 of proceedings of: International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE2009, held at multiple locations via internet conferencing, 4-12 December, 2009. Also available in an ebook with ISBN = 9789048191123