Design of a Biomolecular Device That Executes Process Algebra.

Urmi Majumder John H. Reif

Published in: DNA (2009)

Keyphrases

process algebra
formal specification
design process
formal methods
case study
knowledge based systems
building blocks
model checking
database
artificial intelligence
expert systems
general purpose
concurrent systems