Color-Blind Specifications for Transformations of Reactive Synchronous Programs.

Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski

Browse the full FASE paper archive.