Communicating Processes: An Example

  • Heinrich Hussmann
Part of the Progress in Theoretical Computer Science book series (PTCS)


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.


Communicate Process Operational Semantic Transition Rule Transition Semantic Nondeterministic Choice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Boston 1993

Authors and Affiliations

  • Heinrich Hussmann
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2Germany

Personalised recommendations