title: A logic for biological systems.
abstract: This paper proposes a specification language, hybrid projection temporal logic of modelling, analyzing and verifying biological systems which can be considered, in general, to be hybrid systems consisting of a non-trivial mixture of discrete and continuous components. The syntax and semantics of the logic are presented, and some examples of hybrid systems are modelled to illustrate the formalism.
authors.affiliation: Department of Computer Science, The University of Sheffield, Sheffield, UK.
authors.forename: Z
authors.initials: Z
authors.lastname: Duan
authors.forename: M
authors.initials: M
authors.lastname: Holcombe
authors.forename: A
authors.initials: A
authors.lastname: Bell
mesh_terms: D000937:Antigen-Antibody Reactions; D008128:Logic; D008954:Models, Biological; D015203:Reproducibility of Results; D013995:Time