Results 31 to 40 of about 47 (47)
Some of the next articles are maybe not open access.
A denotational semantics for Handel-C
Formal Aspects of Computing, 2011Andrew Butterfield, Butterfield Andrew
exaly
A denotational semantics for Handel-C
Formal Aspects of Computing, 2011