Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design
A Framework for Comparing Models of Computation