A logic semantics for a class of nondeterministic concurrent constraint logic programs | IEEE Conference Publication | IEEE Xplore