Login / Signup

Design of a biomolecular device that executes process algebra.

Urmi MajumderJohn H. Reif
Published in: Nat. Comput. (2011)
Keyphrases
  • process algebra
  • database
  • concurrent systems
  • case study
  • real time
  • formal methods