An Implementation of Communicating Reactive Processes

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics