Results 181 to 185 of about 246 (185)
Some of the next articles are maybe not open access.

Denotational semantics for thread algebra

The Journal of Logic and Algebraic Programming, 2008
exaly  

Deriving operational semantics from denotational semantics for Verilog

He Jifeng, J P Bowen
exaly  

Denotational Semantics

1990
openaire   +1 more source

Denotational Semantics

2017
openaire   +1 more source

Denotational Semantics

1996
openaire   +1 more source
mathematics
computer science - logic in computer science
computer science - programming languages
f.3.2
semantics in the theory of computing
16. peace & justice
logic
theoretical computer science
computer science all
previous   17  18  19  

Home - About - Disclaimer - Privacy