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)

zbMATH Keywords

synchronizationconcurrencyparallel programmingprotocolsconcurrent programmingobject-oriented languagedistributed programmingmessage sendingmultiprocessing

Mathematics Subject Classification ID

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

Cites work

• 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?)
• Abstraction and verification in Alphard
• Abstraction mechanisms in CLU
• Communicating sequential processes
• High level programming for distributed computing

Cited in

(2)

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

Describes a project that uses

Uses Software

• Simula 67
• Eiffel
• POOL

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)