An object-oriented dual language for specifying reactive systems.

Giacomo Bucci, Maurizio Campanai, Paolo Nesi, Marcello Traversi

Browse the full RE paper archive.