You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 34 of 401 in the submission

Article title

A semantic equivalence for Bio-PEPA based on discretisation of continuous values

Type

D - Journal article

DOI

10.1016/j.tcs.2011.01.007

Title of journal

Theoretical Computer Science

Article number

Volume number

412

Issue number

First page of article

2142

ISSN of journal

0304-3975

Year of publication

2011

URL

http://www.sciencedirect.com/science/article/pii/S0304397511000338

Number of additional authors

Additional information

<10> Originality: A new style of bisimulation, compression bisimulation, is introduced, which captures behavioural equivalence between sets of states which engage in the same biological reactions, respecting stoichiometry.

Significance: Standard notions of equivalence for process algebras, based on bisimulation are too strong for the reagent-centric style of modeling supported by Bio-PEPA. The compression bisimulation opens the possibility of quantitative reasoning about equivalence of behaviour for system biology models, taking into account discrete approximations of concentrations and multiplicities in reactions.

Rigour: Full proofs are provided and the paper appears in Theoretical Computer Science, one of the top journals in the field.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract