论文信息 - THE GCP LANGUAGE AND ITS IMPLEMENTATION

THE GCP LANGUAGE AND ITS IMPLEMENTATION

Guarded Communicating Processes is a complete language for distributed applications based on Hoare’s CSP.(1) CSP are an “ambitious attempt to find a single simple solution” to the communication and synchronization problems of concurrent processes, that is, to represent in a single frame semaphores, critical regions, monitors, queues, and so on. They are characterized by some choices: synchronous communication; no shared data among processes; nondeterminism.

Carla Simone | G. De Michelis | F. De Cindio | G. Castelli

[1] Nissim Francez,et al. Distributed Termination , 1980, TOPL.

[2] Nissim Francez,et al. An Experimental Implementation of CSP , 1981, ICDCS.

[3] Arthur J. Bernstein,et al. Output Guards and Nondeterminism in “Communicating Sequential Processes” , 1980, TOPL.

[4] Abraham Silberschatz,et al. An Effective Implementation for the Generalized Input-Output Construct of CSP , 1983, TOPL.

[5] Abraham Silberschatz,et al. Comments on “Communicating Sequential Processes” , 1979, TOPL.

[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[7] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[8] Juris Hartmanis,et al. The Programming Language Ada , 1983, Lecture Notes in Computer Science.

[9] Chris J. Barter,et al. A communicating sequential process language and implementation , 1981, Softw. Pract. Exp..