A Denotational Semantics for Handel-C
From MaRDI portal
Publication:3526925
DOI10.1007/978-3-540-75221-9_3zbMath1151.68346MaRDI QIDQ3526925
Publication date: 25 September 2008
Published in: Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75221-9_3
Related Items
Mechanised Wire-wise Verification of Handel-C Synthesis, Mechanised wire-wise verification of Handel-C synthesis, A denotational semantics for Handel-C
Uses Software