Causality and Concurrency in Beta-binders

Priami, Corrado and Guierriero, Maria Luisa (2006) Causality and Concurrency in Beta-binders. UNSPECIFIED. (Unpublished)

Download (535Kb) | Preview


    Causal relations allow us to understand the causes of single transitions/ events in a computation and, consequently, to acquire information on the whole systems. In this paper a definition of a causal relation and of an enabling relation for Beta-binders is given, together with the description of some important properties of these relations; in particular we show that the concurrency relation is the complement of the union of causal and enabling relations for each possible computation. The application domains which we are mostly interested in are biology and medical sciences, thus the application of the defined relations to a model of the intensively studied ERK/MAPK pathway is described.

    Item Type: Departmental Technical Report
    Department or Research center: CoSBi (Center for Computational and Systems Biology)
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Report Number: TR-01-2006
    Repository staff approval on: 30 Nov 2009

    Actions (login required)

    View Item