2171 search results - page 213 / 435 » A Generic Process Algebra |
163
Voted
CSFW
1995
IEEE
15 years 7 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...
138
Voted
BIRTHDAY
2008
Springer
15 years 5 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...
107
Voted
CONCUR
2008
Springer
15 years 5 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...
110
Voted
FMOODS
2008
15 years 5 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...
140
Voted
NETWORKING
2007
15 years 5 months ago
2007
—For networks providing QoS guarantees, this paper determines and evaluates the worst case end-to-end delays for strategies based on network coding and multiplexing. It is shown ...