M Elizabeth, C Hull, G Donnan - Software: Practice and …, 1986 - Wiley Online Library
A software tool is presented for the design of concurrent systems. The design process, which
is supported by graphics and text, is integrated from the highest level to the generation of …