73 search results - page 1 / 15 » Constraint-Based Concurrency and Beyond |
ENTCS
2006
13 years 7 months ago
2006
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
CLEIEJ
2006
13 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
ASIAN
2004
Springer
14 years 25 days ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
ICLP
2001
Springer
13 years 12 months ago
2001
Springer