Modeling reactive systems in Java

Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst., 3(4):515-523, 1998. [doi]

Abstract

Abstract is missing.