Sciweavers

226 search results - page 11 / 46
» Concurrent and Reactive Constraint Programming
Sort
View
POPL
1995
ACM
13 years 11 months ago
Default Timed Concurrent Constraint Programming
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
PLILP
1994
Springer
13 years 11 months ago
Abstracting Synchronization in Concurrent Constraint Programming
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 7 months ago
Soft Concurrent Constraint Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi