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

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.

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.