Kenneth J. Turner, F. Javier Argul-Marin, Stephen D. Laing. Concurrent Specification and Timing Analysis of Digital Hardware Using SDL. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 1001-1008, Springer, 2000. [doi]
Abstract is missing.