Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs.

Tim Wahls, Gary T. Leavens

Browse the full SAC paper archive.