4 search results - page 1 / 1 » The Biochemical Abstract Machine BIOCHAM |
LOPSTR
2005
Springer
13 years 10 months ago
2005
Springer
CMSB
2004
Springer
13 years 10 months ago
2004
Springer
ICLP
2009
Springer
14 years 5 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...
CMSB
2006
Springer
13 years 9 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...