The probe: An addition to communication primitives

DOI10.1016/0020-0190(85)90078-XzbMath0586.68023MaRDI QIDQ1071496

Alain J. Martin

Publication date: 1985

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

fairnessCSPstacksemaphoredistributed computationprobecommunication primitivesbounded bufferprogramming language kernel

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (5)

An alternative implementation of communication primitives ⋮ Compiling communicating processes into delay-insensitive VLSI circuits ⋮ Retargeting a hardware compiler using protocol converters ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ The sliding-window protocol revisited

Cites Work

• An axiomatic definition of synchronization primitives
• Communicating sequential processes
• Programming as a Discipline of Mathematical Nature

This page was built for publication: The probe: An addition to communication primitives