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