Formal semantics for LIPS (Language for Implementing Parallel/distributed Systems)
This thesis presents operational semantics and an abstract machine for a point-to-point asynchronous message passing language called LIPS (Language for Implementing Parallel/ distributed Systems). One of the distinctive features of LIPS is its capability to handle computation and communication indep...
| Main Author: | |
|---|---|
| Published: |
Middlesex University
2009
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.568405 |