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

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems. In: Innovations in computing science and software engineering. Sobh, Tarek and Elleithy, Khaled, eds. Springer, Netherlands, pp. 23-28. ISBN 9789048191116. [Book Section] (doi:10.1007/978-90-481-9112-3_5)

Abstract

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.

Item Type: Book Section
Additional Information: 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
Research Areas: A. > School of Science and Technology
Item ID: 8688
Useful Links:
Depositing User: Dr Geetha K Abeysinghe
Date Deposited: 21 Mar 2012 12:04
Last Modified: 13 Oct 2016 14:24
URI: https://eprints.mdx.ac.uk/id/eprint/8688

Actions (login required)

View Item View Item

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
487Hits

Additional statistics are available via IRStats2.