Towards a language for concurrent processes

DOI10.1002/spe.4380150903zbMath0566.68027OpenAlexW1986614024MaRDI QIDQ3681919

David M. Harland

Publication date: 1985

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380150903

zbMATH Keywords

concurrent processesconcurrencyprogramming language designmonitorsdistributed processor networks

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Uses Software

• BCPL

Cites Work

• Unnamed Item
• Unnamed Item
• Monitors
• Proving monitors
• Communicating sequential processes
• Distributed processes
• High level programming for distributed computing
• SIMULA: an ALGOL-based simulation language
• An axiomatic basis for computer programming
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• BLISS

This page was built for publication: Towards a language for concurrent processes