Semantics for a distributed programming language using SACS and weakest pre-conditions.

Rajan, A. V. S. and Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for a distributed programming language using SACS and weakest pre-conditions. In: ADCOM 2006 autonomic computing: proceedings. IEEE, pp. 434-439. ISBN 142440715X.

Full text is not in this repository.

Abstract

This paper describes the semantics for a distributed programming language called LIPS (language for implementing parallel systems). The formalism presented is used for the specification and verification of LIPS programs for the successful point-to-point intercommunication in distributed systems. The main focus of the paper is to define the semantics of the computational part of LIPS using Dijkstra's weakest preconditions and demonstrate the integration of SACS(specification of asynchronous communication systems) with GCL(guarded command language) using an example. SACS is a variant of SCCS specially developed for specifying point-to-point asynchronous message passing systems.

Item Type: Book Section
Additional Information: 14th International Conference on Advanced Computing and Communications, December 20-23, 2006, National Institute of Technology Karnataka ; organized by Advanced Computing & Communications Society (ACS), National Institute of Technology, Surathkal ; technically co-sponsored by IEEE Bangalore Section.
Research Areas: A. > School of Science and Technology > Computer and Communications Engineering
Item ID: 2326
Depositing User: Users 36 not found.
Date Deposited: 18 May 2009 12:33
Last Modified: 23 Sep 2015 16:40
URI: http://eprints.mdx.ac.uk/id/eprint/2326

Actions (login required)

Edit Item Edit Item