Reactive Variables for System Specification and Design.

E. Pascal Gribomont, Jacques Hagelstein

Browse the full STACS paper archive.