Communicating Processes: An Example
In this chapter the theory developed above shall be applied to a non-trivial example, in order to demonstrate that the original aims are fulfilled. Moreover, the example leads to some ideas how the current state of development can be improved.
KeywordsCommunicate Process Operational Semantic Transition Rule Transition Semantic Nondeterministic Choice
Unable to display preview. Download preview PDF.