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...
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|
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|
|Deposited On:||21 Mar 2012 12:04|
|Last Modified:||06 Feb 2013 11:34|
Repository staff 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