946 search results - page 116 / 190 » Process Algebra and Non-Interference |
99
Voted
CTCS
1997
Springer
15 years 4 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
122
Voted
LICS
1994
IEEE
15 years 4 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...
84
Voted
CONCUR
1993
Springer
15 years 4 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...
103
Voted
CASC
2006
Springer
15 years 4 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...
92
Voted
CMSB
2006
Springer
15 years 4 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...