Relating Event and Trace Semantics of Hardware Description Languages
From MaRDI portal
Publication:4328965
DOI10.1093/comjnl/45.1.27zbMath1008.68027OpenAlexW1964110193MaRDI QIDQ4328965
Publication date: 6 April 2003
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/45.1.27
Related Items (2)
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude ⋮ Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
This page was built for publication: Relating Event and Trace Semantics of Hardware Description Languages