An overview of the GCP programming language

Authors:
G. Castelli;F. De Cindio;G. De Michelis;C. Simone
Affiliations:
Istituto di Cibernetica, Universita' di Milano, via Viotti 5, 20133 Milano;Istituto di Cibernetica, Universita' di Milano, via Viotti 5, 20133 Milano;Istituto di Cibernetica, Universita' di Milano, via Viotti 5, 20133 Milano;Istituto di Cibernetica, Universita' di Milano, via Viotti 5, 20133 Milano
Venue:
Proceedings of the 1985 ACM SIGSMALL symposium on Small systems
Year:
1985

Citing 7
Cited 0

Communicating sequential processes

Communicating sequential processes
Comments on “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Termination

ACM Transactions on Programming Languages and Systems (TOPLAS)
Output Guards and Nondeterminism in “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems (TOPLAS)
An Effective Implementation for the Generalized Input-Output Construct of CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets

Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an overview of GCP (Guarded Communicating Processes), a language for distributed applications programming, which has been defined deriving its control mechanisms from Hoare's CSP (with new communication primitives and a new distributed termination convention) and embedding them in a fully defined concurrent programming language. Besides an easy retargetable compiler the GCP environment consists of a configurator/distributor to distribute and activate the processes constituting an application and of a run-time support.