Towards a language for concurrent processes

DOI10.1002/SPE.4380150903MaRDI QIDQ3681919zbMATH OpenOpenAlexFDO

Authors 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

concurrencyconcurrent processesprogramming language designmonitorsdistributed processor networks

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Occam—A programming language for multiprocessor systems
• Concurrency in programming languages: A survey
• A systematic approach to language constructs for concurrent programs
• Concurrent Programming
• Concurrent C: A programming language for distributed multiprocessor systems

Cites work

• scientific article; zbMATH DE number 3648084 (Why is no real title available?)
• scientific article; zbMATH DE number 3617501 (Why is no real title available?)
• An axiomatic basis for computer programming
• BLISS
• Communicating sequential processes
• Distributed processes
• GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
• High level programming for distributed computing
• Monitors
• Proving monitors
• SIMULA: an ALGOL-based simulation language

Cited in

(30)

• Reflections on the future of concurrency theory in general and process calculi in particular
• scientific article; zbMATH DE number 1860677 (Why is no real title available?)
• Defining concurrent processes constructively
• scientific article; zbMATH DE number 2087132 (Why is no real title available?)
• Distributed implementation of a process-algebra based programming language for embedded systems
• Concurrent C: A programming language for distributed multiprocessor systems
• Programming language concepts for multiprocessors
• scientific article; zbMATH DE number 2079809 (Why is no real title available?)
• scientific article; zbMATH DE number 1860679 (Why is no real title available?)
• scientific article; zbMATH DE number 1755144 (Why is no real title available?)
• Cell: A Distributed Computing Modularization Concept
• An experiment in language design for distributed systems
• scientific article; zbMATH DE number 139607 (Why is no real title available?)
• Communicating Sequential Processes for Centralized and Distributed Operating System Design
• A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming
• scientific article; zbMATH DE number 1760050 (Why is no real title available?)
• The role of concurrency in an evolutionary view of programming abstractions
• scientific article; zbMATH DE number 3967902 (Why is no real title available?)
• scientific article; zbMATH DE number 782044 (Why is no real title available?)
• Asynchronous programming facilities for multiprocessor systems
• Concurrency possibilities in object-oriented languages
• The suitability for master/slave concurrency of concurrent euclid, ada and modula
• Occam—A programming language for multiprocessor systems
• scientific article; zbMATH DE number 1424057 (Why is no real title available?)
• A systematic approach to language constructs for concurrent programs
• An extension of the language C for concurrent programming
• Process languages and nets
• The development of Erlang
• Concurrency in programming languages: A survey
• Models and languages for description of parallel processes

Describes a project that uses

Uses Software

• BCPL

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

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