2171 search results - page 212 / 435 » A Generic Process Algebra |
147
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
109
Voted
CONCUR
1993
Springer
15 years 7 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
132
Voted
CASC
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we deal with the problem of the computation of the homology of a finite simplicial complex after an "elementary simplicial perturbation" process such as th...
117
Voted
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
130
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
This paper studies the (in)equational theory of simulation preorder and equivalence over the process algebra BCCSP. We prove that in the presence of a finite alphabet with at least...