GUBS a Language for Synthetic Biology: Specification and Compilation

DOI10.1007/978-3-319-08123-6_4MaRDI QIDQ2945531zbMATH OpenOpenAlexFDO

Authors Adrien Basso-Blandin, Franck Delaplace

Publication date 14 September 2015

Published in Unconventional Computation and Natural Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-08123-6_4

zbMATH Keywords

GUBSsynthetic biology

Mathematics Subject Classification ID

Computational methods for problems pertaining to biology (92-08) General biology and biomathematics (92B05) Systems biology, networks (92C42)

Recommendations

• GUBS, a behaviour-based language for design in synthetic biology
• A language for biochemical systems: design and formal specification
• An intermediate language for the simulation of biological systems
• Executable biochemical space for specification and analysis of biochemical systems

Cites work

• A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
• GUBS, a behaviour-based language for design in synthetic biology
• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• Unification in commutative idempotent monoids
• Unification theory
• Unification: a multidisciplinary survey

Cited in

(3)

• GUBS
• GUBS, a behaviour-based language for design in synthetic biology
• Boolean recombinase-based devices

This page was built for publication: GUBS a Language for Synthetic Biology: Specification and Compilation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945531)