Premium
A Protocol for Generalized occam
Author(s) -
Bornat Richard
Publication year - 1986
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/j.1097-024x.1986.tb00010.x
Subject(s) - occam , computer science , protocol (science) , guard (computer science) , process (computing) , programming language , theoretical computer science , distributed computing , medicine , alternative medicine , pathology
The programming advantages of output guards in guarded commands are sketched. A protocol is described which allows the use of guarded commands with both input and output guards and communication via one‐one channels. A proof is offered that the protocol will make progress towards process‐pairing in every eventuality. A bound of six protocol messages per enabled guard is demonstrated. An implementation of the protocol in occam is described. A proof of the implementation is outlined.