Petri nets: an introduction
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Using DNA to Power Nanostructures
Genetic Programming and Evolvable Machines
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
On properties of bond-free DNA languages
Theoretical Computer Science
Computation in networks of passively mobile finite-state sensors
Distributed Computing - Special issue: PODC 04
Theoretical Computer Science
Termination Problems in Chemical Kinetics
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Computation with finite stochastic chemical reaction networks
Natural Computing: an international journal
Strand Algebras for DNA Computing
DNA Computing and Molecular Programming
Turing universality of the biochemical ground form
Mathematical Structures in Computer Science
Communications of the ACM
Queue - Interoperability
Less haste, less waste: on recycling and its limits in strand displacement systems
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
Rate-independent computation in continuous chemical reaction networks
Proceedings of the 5th conference on Innovations in theoretical computer science
Hi-index | 0.02 |
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.