Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: GUBS, a Behavior-based Language for Open System Dedicated to Synthetic
  Biology   In this article, we propose a domain specific language, GUBS (Genomic Unified
Behavior Specification), dedicated to the behavioral specification of synthetic
biological devices, viewed as discrete open dynamical systems. GUBS is a
rule-based declarative language. By contrast to a closed system, a program is
always a partial description of the behavior of the system. The semantics of
the language accounts the existence of some hidden non-specified actions
possibly altering the behavior of the programmed device. The compilation
framework follows a scheme similar to automatic theorem proving, aiming at
improving synthetic biological design safety.

27
The categories of this paper are: comp-gas
18
The categories of this paper are: econ
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
13
The categories of this paper are: quant-ph
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat