Correct System Design

Dr. Stephan Rössig

In October 1994 Stephan Rössig completed his PhD with the dissertation ``A Transformational Approach to the Design of Communicating Systems'', which is available as Technical Report No. 4/94 of the Department of Computer Science at the University of Oldenburg.