Reasoning about Correctness Properties of a Coordination Programming Language (2009)

by Gudmund Grov
Citations:4 - 3 self