A Modula-2 implementation of CSP

Authors:
M Collado;R Morales;J J Moreno
Affiliations:
Departamento de Programación, Facultad de Informática, Universidad Politécnica de Madrid, Km 7 Carretera de Valencia, 28031 Madrid - SPAIN;Departamento de Programación, Facultad de Informática, Universidad Politécnica de Madrid, Km 7 Carretera de Valencia, 28031 Madrid - SPAIN;Departamento de Programación, Facultad de Informática, Universidad Politécnica de Madrid, Km 7 Carretera de Valencia, 28031 Madrid - SPAIN
Venue:
ACM SIGPLAN Notices
Year:
1987

Citing 8
Cited 3

Communicating sequential processes

Communicating sequential processes
Ada: an advanced introduction

Ada: an advanced introduction
Communicating sequential processes

Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
Reference Manual for the ADA Programming Language

Reference Manual for the ADA Programming Language
Modula-2 process facilities

ACM SIGPLAN Notices
Programming in Modula-2

Programming in Modula-2
Occam Programming Manual

Occam Programming Manual

Unfair process scheduling in Modula-2

ACM SIGPLAN Notices
CC-modula: a modula-2 tool to teach concurrent programming

ACM SIGCSE Bulletin
RT-MODULA2: an embedded in MODULA2 language for writing concurrent and real time programs

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

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.