On the implementation of CSP mechanisms in loglan
The implementation of CSP mechanisms in the Algol-like language with modern facilities is presented. Especially, the realization of communication between disjoint processes by a single data transfer and the realization of nondeterministic guarded commands is described. The semantics of implemented CSP mechanisms and their constraints in comparison to the standard CSP are investigated.
KeywordsBoolean Expression Input Command Class Message Process Partner Command List
Unable to display preview. Download preview PDF.