Results 221 to 228 of about 11,766 (228)
Some of the next articles are maybe not open access.
Denotational semantics of parallelism
2005This paper studies the denotational semantics of programming language constructs whose operational semantics require interleaving of computations. In particular a semantics is given for recursion equations with a convergence test. A convergence test is a nondeterministic construct which selects among expressions according to which one converges (i.e ...
openaire +1 more source