Example of Complication (1/2)
In CML:
f : int->intš§ f(3) : int
may return:
different results in parallel (? non-determinism)
no result at all (? deadlock)
fun f(i) = let val c : int chan = channel() in recv(c) end
Previous slide
Next slide
Back to first slide
View graphic version