Publication:3495631

zbMath0711.68023MaRDI QIDQ3495631

Jan van den Bos, Chris Laffa

Publication date: 1991

zbMATH Keywords

synchronization; parallel programming; concurrency; concurrent programming; protocols; object-oriented language; distributed programming; message sending; multiprocessing

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68N15: Theory of programming languages

68N25: Theory of operating systems

68W15: Distributed algorithms

Uses Software

• PROCOL