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 20 of 401 in the submission

Output title

A Language for Biochemical Systems : Design and Formal Specification

Type

E - Conference contribution

DOI

10.1007/978-3-642-11712-1_3

Name of conference/published proceedings

Transactions on Computational Systems Biology XII : Special Issue on Modeling Methodologies

Volume number

5945

Issue number

First page of article

ISSN of proceedings

0302-9743

Year of publication

2010

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-11712-1_3

Number of additional authors

Additional information

<25> Originality: Presents LBS (the Language for Biochemical Systems), the first full-scale language for practical large-scale modular rule-based modelling in computational systems biology.

Significance: Used as compilation target in Microsoft's synthetic biology GEC tool (http://research.microsoft.com/en-us/projects/gec), and then in John Hopkins' 2011 VitaYeast iGEM project (http://bit.ly/LwIl8U). Alluded to in Plotkin's SIGPLAN 2010 award citation.

Rigour: General semantics of LBS given, parametric on a structure reflecting target semantical object choice, e.g., coloured Petri nets, ODEs, or continuous time Markov chains; compiler to Systems Biology Markup Language implemented, enabling use of standard simulation and analysis tools.

Interdisciplinary

Yes

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