Glynn Winskel
-
Design rules and abstractions: from branching and real time
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits