Overcoming heterophobia: Modeling concurrency in heterogeneous systems (2001)

by J Burch, R Passerone, A L Sangiovanni-Vincentelli
Venue:In Proceedings of the Second International Conference on Application of Concurrency to System Design, Newcastle upon Tyne