57 search results - page 1 / 12 » Model checking for the concurrent constraint paradigm |
77
Voted
AICOM
2004
14 years 10 months ago
2004
99
Voted
ESOP
2008
Springer
15 years 20 days ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
82
Voted
PPDP
1999
Springer
15 years 3 months ago
1999
Springer
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
91
Voted
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
91
Voted
ICLP
2005
Springer
15 years 4 months ago
2005
Springer
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...