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 |
Statistics
Additional statistics are available via IRStats2.