Distributed processes

DOI10.1145/359642.359651zbMath0393.68028OpenAlexW2152879290WikidataQ55884867 ScholiaQ55884867MaRDI QIDQ4174727

Per Brinch Hansen

Publication date: 1978

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359642.359651

zbMATH Keywords

SchedulingMultiprocessorConcurrent ProgrammingMonitorsDistributed ProcessesConcurrent PascalBuffersCorontuesGuarded RegionInput/OutputSemaphorsSorting Arrays

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25)

Related Items

Testing equivalences for processes, A proof system for distributed processes, A software architecture for distributed computer control systems, Modeling a solution for a control problem in distributed systems by restrictions, SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR, Parallelism in alpha-beta search, Synchronous, asynchronous, and causally ordered communication, Optimal networks for distributing nonsequential programs, An experiment in language design for distributed systems, Monitors with associated processors, Corrigenda:Cooperating proofs for distributed programs with multiparty interactions, A fault-tolerant file management algorithm in distributed computer system ``THUDS, Message passing between sequential processes: The reply primitive and the administrator concept, A weakest precondition semantics for communicating processes, Port automata and the algebra of concurrent porcesses, Programming of parallel processors in control spaces, Towards a language for concurrent processes, Communicating parallel processes