Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Distributed processes: a concurrent programming concept
Communications of the ACM
The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Towards a Formal Description of Ada
Towards a Formal Description of Ada
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE
SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
Indirect naming in distributed programming languages
ACM SIGPLAN Notices
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Polling in concurrent programming
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
ACM SIGPLAN Notices
An interactive debugger for a concurrent language
ICSE '85 Proceedings of the 8th international conference on Software engineering
Joyce: a programming language for distributed systems
The origin of concurrent programming
Hi-index | 0.00 |
The structure of a compiler for the ECSP language is described. ECSP is a concurrent language extending Hoare's CSP: it supports dynamic communication channels and nested processes. The compilation of ECPS programs is obtained by the composition of several tools of minimal functionalities.A set of static checks on interactions between concurrent processes is described. The checks verify the mutual consistency of the interfaces of processes: an interface is given by a set of input/output channels connecting a process to its partners. It is shown that the amount and the coverage of checks depend on the entities referred to in interprocess communication constructs and that both increase with the adoption of explicit naming.The checks on process interfaces are carried on in several tool of the compiler front-end to achieve machine independence. To support separate compilation, each tool can be applied to a subset of the processes of a program.