946 search results - page 4 / 190 » Process Algebra and Non-Interference |
152
Voted
EUSFLAT
2009
15 years 5 months ago
2009
157
Voted
MEMICS
2010
15 years 2 months ago
2010
178
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
195
Voted
DNA
2009
Springer
16 years 2 months ago
2009
Springer
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
166
click to vote
ENTCS
2008
15 years 7 months ago
2008
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.