Introduction Next: Channels Up: The SugarCubes Tool Box Previous: Contents


Nets of Reactive Processes (NRP) is a computing model defined in the following way:

In this paper we define channels, the notion of a reactive process, and the notion of a reactive machine for reactive nets. We give the definition of some basic processes and use them to code two small examples.

All these definitions are in SugarCubes presented in the paper: