An Implementation of Constructive Synchronous Programs in POLIS.

Gérard Berry Ellen Sentovich An Implementation of Constructive Synchronous Programs in POLIS. 135-161 2000 17 Formal Methods in System Design 2 db/journals/fmsd/fmsd17.html#BerryS00