A Modula-2 implementation of CSP-Reference-Cited by-同舟云学术

A Modula-2 implementation of CSP

Published:1987-06 Issue:6 Volume:22 Page:25-38
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Collado M¹,Morales R¹,Moreno J J¹

Affiliation:

1. Departamento de Programación, Facultad de Informática, Universidad Politécnica de Madrid, Km 7 Carretera de Valencia, 28031 Madrid - SPAIN

Abstract

Recently, a series of process communication schemes based on message exchanges have been developed. Hoare's CSP is perhaps the most interesting one and is the base for concurrent features of modern languages (e.g. ADA, Occam, etc.).Several concurrency mechanisms have already been implemented in Modula-2 (signals, COBEGIN..COEND structure, message exchanges, etc.) but they have not completely fulfilled the Hoare's CSP scheme.In this paper a general implementation of CSP in Modula-2 is presented. Low level and modularity facilities of this language have been used to develop a kernel thus allowing the use of comunication primitives and nondeterministic selection.The original CSP scheme has been slightly modified by using port names instead of process names to specify communication.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/24900.24902

Reference11 articles.

1. [ 2 ] Cerrada J. A. Collado M.: Distributed System Programming in Extended Pascal. Euromicro 85. Brusseles. 1985. [2] Cerrada J. A. Collado M.: Distributed System Programming in Extended Pascal. Euromicro 85. Brusseles. 1985.

2. [ 3 ] Cerrada J. A. Collado M.: An Experimental Implementation of the Communicating Sequential Processes Scheme. Mimi'85. Sant Feliu. 1985. [3] Cerrada J. A. Collado M.: An Experimental Implementation of the Communicating Sequential Processes Scheme. Mimi'85. Sant Feliu. 1985.

3. Guarded commands, nondeterminacy and formal derivation of programs

4. [ 5 ] Gehani N.: ADA An Advanced Introduction. Prentice Hall. 1983. [5] Gehani N.: ADA An Advanced Introduction. Prentice Hall. 1983.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using C-XSC for High Performance Verified Computing;Applied Parallel and Scientific Computing;2012

2. Error-Free Transformation in Rounding Mode toward Zero;Numerical Validation in Current Hardware Architectures;2009

3. RT-MODULA2;ACM SIGPLAN Notices;1992-02

4. Key references in distributed computer systems 1959–1989;Distributed Computer Systems;1990

5. CC-modula: a modula-2 tool to teach concurrent programming;ACM SIGCSE Bulletin;1989-09