Results 221 to 227 of about 2,907 (227)
Some of the next articles are maybe not open access.
On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC
2013Hengyang Wu, Yixiang Chen
exaly
Deriving operational semantics from denotational semantics for Verilog
Jonathan P Bowen, He Jifengexaly