946 search results - page 117 / 190 » Process Algebra and Non-Interference |
103
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...
88
Voted
FMOODS
2008
15 years 2 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...