A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Simula Begin
Specifying software/hardware interactions in distributed systems
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Using raddle to design distributed systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Vanna: a visual environment for the design of distributed systems
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Design by decomposition of multiparty interactions in Raddle87
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
| Hi-index | 0.01 |
A new approach to modelling distributed systems is presented. It uses sequential processes and event synchronization as the major building blocks and is able to capture the functionality, architecture, scheduling policies, and performance attributes of a distributed system. The approach is meant to provide the foundation for a uniform incremental strategy for verifying both logical and performance properties of distributed systems. In addition, this approach draws together work on performance evaluation, resource allocation, and verification of concurrent processes by reducing some problems from the first two areas to equivalent problems in the third. A language called CSPS (an extension of Hoare's CSP) is used in the illustration of the approach. Employing CSP as a base allows modelled systems to be verified using techniques already developed for verifying CSP programs