Janisch, Stephan (2010): Behaviour and Refinement of Port-Based Components with Synchronous and Asynchronous Communication. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics