Login / Signup
Design of a biomolecular device that executes process algebra.
Urmi Majumder
John H. Reif
Published in:
Nat. Comput. (2011)
Keyphrases
</>
process algebra
database
concurrent systems
case study
real time
formal methods