Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication door Stephan Janisch