Timed Default Concurrent Constraint Programming

• 1 November 1996
• journal article
• Published by Elsevier in Journal of Symbolic Computation
• Vol. 22  (5-6) , 475-520
• https://doi.org/10.1006/jsco.1996.0064

Abstract

Keywords

• MODEL
• DEFAULT
• SARASWATET AL
• INTUITIONISTIC
• SYNCHRONOUS
• TREATMENT
• LOGIC