Communicating sequential processes
Communicating sequential processes
Occam programming: a practical approach
Occam programming: a practical approach
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communication and concurrency
Proceedings of the international workshop on Automatic verification methods for finite state systems
The C programming language
Orca: A Language for Parallel Programming of Distributed Systems
IEEE Transactions on Software Engineering
The SR programming language: concurrency in practice
The SR programming language: concurrency in practice
Using MPI: portable parallel programming with the message-passing interface
Using MPI: portable parallel programming with the message-passing interface
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
Formal Methods for Concurrency
Formal Methods for Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Hi-index | 0.00 |
LIPS (Language for Implementing Parallel Systems) is a paxallel/distdbuted message passing language that promotes the separation of communication from the necessary computation by using a technique based on a modified form of the calculus of communicating systems by Milner [20,21]. The approach adopted here is to define a network of dedicated communication channels for data exchange in LIPS-compliant programs, thus promoting portability between different computing platforms. This has also permitted the use of a modified SCCS[10,19] notation to formulate a design pattern based on a framework of four system design rules to guarantee reliable point-to-point intercommunication between LIPS nodes. The results achieved using this design pattern allow the development of programs that eliminate the likelihood of deadlock conditions with the minimum of software support tools. The LIPS nodes that make up a program are reusable and allow the dynamic creation of interconnected programs for performing distributed computation using a plug and play approach to achieve an optimum network performance.