---
res:
  bibo_abstract:
  - The induction of a signaling pathway is characterized by transient complex formation
    and mutual posttranslational modification of proteins. To faithfully capture this
    combinatorial process in a math- ematical model is an important challenge in systems
    biology. Exploiting the limited context on which most binding and modification
    events are conditioned, attempts have been made to reduce the com- binatorial
    complexity by quotienting the reachable set of molecular species, into species
    aggregates while preserving the deterministic semantics of the thermodynamic limit.
    Recently we proposed a quotienting that also preserves the stochastic semantics
    and that is complete in the sense that the semantics of individual species can
    be recovered from the aggregate semantics. In this paper we prove that this quotienting
    yields a sufficient condition for weak lumpability and that it gives rise to a
    backward Markov bisimulation between the original and aggregated transition system.
    We illustrate the framework on a case study of the EGF/insulin receptor crosstalk.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Jérôme
      foaf_name: Feret, Jérôme
      foaf_surname: Feret
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Heinz
      foaf_name: Koeppl, Heinz
      foaf_surname: Koeppl
  - foaf_Person:
      foaf_givenName: Tatjana
      foaf_name: Petrov, Tatjana
      foaf_surname: Petrov
      foaf_workInfoHomepage: http://www.librecat.org/personId=3D5811FC-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-9041-0905
  bibo_volume: 40
  dct_date: 2010^xs_gYear
  dct_language: eng
  dct_publisher: Open Publishing Association@
  dct_title: Lumpability abstractions of rule-based systems@
...