Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons.

Ingo Sander, Axel Jantsch

Browse the full VLSID paper archive.