Thesis
Stephan Janisch
- Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication [pdf] [publications]
PhD thesis, Jul 2010.
These are the archived web pages of the Programming and Software Engineering Group (PST).
The web pages of the Software and Computational Systems Lab (SoSy) can be found on https://www.sosy-lab.org/.
Stephan Janisch