Search Sciweavers | Sciweavers

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...

Massimo Merro, Eleonora Sibilio

claim paper

Read More »

click to vote

DNA
2009
Springer

120views Bioinformatics» more DNA 2009»

Strand Algebras for DNA Computing

14 years 4 months ago

Download lucacardelli.name

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.

Luca Cardelli

claim paper

Read More »

click to vote

ENTCS
2008

94views more ENTCS 2008»

Expressiveness of Process Algebras

13 years 10 months ago

Download user.it.uu.se

We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.

Joachim Parrow

claim paper