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

Rajan, A. V. S. and 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

Full text is not in this repository.

Official URL: http://www.springerlink.com/content/978-90-481-911...

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:School of Science and Technology > Science & Technology
ID Code:8688
Useful Links:
Deposited On:21 Mar 2012 12:04
Last Modified:06 Feb 2013 11:34

Repository staff and depositor only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year