942 search results - page 89 / 189 » Process Algebraic Non-product-forms |
93
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...
105
click to vote
CONCUR
2006
Springer
15 years 4 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...
139
Voted
CSFW
1995
IEEE
15 years 4 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
110
click to vote
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
89
Voted
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...