PROCOL. A concurrent object-oriented language with protocols delegation and constraints

DOI10.1007/BF01463943MaRDI QIDQ758195zbMATH OpenFDO

Authors Jan van den Bos, Chris Laffa

Publication date 1991

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01463943

zbMATH Keywords

concurrencyconcurrent programmingdistributed programmingmessage sendingmultiprocessingobject-oriented languageparallel programmingprotocolssynchronization

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Distributed algorithms (68W15)

Review text

See the preview in Zbl 0711.68023.

Cites work

• Abstraction and verification in Alphard
• Abstraction mechanisms in CLU
• Communicating sequential processes
• High level programming for distributed computing
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• scientific article; zbMATH DE number 3463159 (Why is no real title available?)
• scientific article; zbMATH DE number 3566182 (Why is no real title available?)

Cited in

(2)

• A process-calculus-based abstraction for coordinating multi-agent groups
• PROCOL

Describes a project that uses

Uses Software

• POOL
• Eiffel
• Simula 67

This page was built for publication: PROCOL. A concurrent object-oriented language with protocols delegation and constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q758195)