Proving Concurrent Constraint Programming Correct, Revisited
Under a Creative Commons license
open access
Keywords
Linear Logic
Concurrent Constraint Programming
Proof Systems
Focusing
Fixed Points
Cited by (0)
Copyright © 2015 The Authors. Published by Elsevier B.V.