170 search results - page 4 / 34 » Bisimilarity in Concurrent Constraint Programming |
103
click to vote
CP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
100
click to vote
NJC
2002
14 years 11 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
112
click to vote
ICALP
1997
Springer
15 years 3 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
128
click to vote
ENTCS
2006
14 years 11 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...