Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog (1999)

by J Fiskio-Lasseter, A Sabry
Venue:Electronic Notes in Theoretical Computer Science 26, 32-49. Third International Workshop on Higher Order Operational Techniques in Semantics