Theories and tools for the design of delay-insensitive communicating processes - Mallon, Willem Charles, 1971- (IPA dissertation series ;, 2000)