- 44 Downloads
We have motivated the study of partially ordered sets by the claim that they may be used to define concurrent behaviour faithfully. But we have not yet specified the systems the behaviours of which are to be described.
KeywordsTransition Rule Process Property Process Definition Inductive Definition Nondeterministic Choice
Unable to display preview. Download preview PDF.