Formal Models for Communication-Based Design.

Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno

Browse the full CONCUR paper archive.