A framework for comparing models of computation (1998)

by E A Lee, A L Sangiovanni-Vincentelli
Venue:IEEE Trans. on CAD of Integrated Circuits and Systems