Modeling Reactive Systems in Java


Abstract:

In this paper we present a class library extending the Java programming language to model reactive real-time systems. It allows the user to describe concurrent modules communicating over asynchronous uni-directional non-blocking channels. A small example is presented to demonstrate some of the features of this extension.
UCB Design Technology Warehouse Homepage
Contact 
©2002-2018 U.C. Regents