Publisher's Synopsis
This text presents a methodology for the design of distributed parallel programs in general, and reactive systems in particular. It also presents a defined notation (IP) for expressing the design of reactive systems and an accompanying design method.