An Implementation of Communicating Reactive Processes


It has recently been shown that both asynchrony and perfect synchrony are needed for the speciication of complex reactive systems and a paradigm called Communicating Reactive Processes (CRP) was proposed towards such a uniication. The paradigm consists of a network of perfectly synchronous nodes communicating asynchronously. This paper addresses the… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics