The BlenX Language with Biological Transactions

Authors:
Federica Ciocchetta
Affiliations:
Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland EH9 3JZ
Venue:
Transactions on Computational Systems Biology IX
Year:
2009

Citing 17
Cited 1

A compositional approach to performance modelling

A compositional approach to performance modelling
Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Orchestrating Transactions in Join Calculus

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Biological Transactions for Quantitative Models

Electronic Notes in Theoretical Computer Science (ENTCS)
The Decidability of the Structural Congruence for Beta-binders

Electronic Notes in Theoretical Computer Science (ENTCS)
Cell Cycle Control in Eukaryotes: A BioSpi model

Electronic Notes in Theoretical Computer Science (ENTCS)
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
BetaWB: modelling and simulating biological processes

Proceedings of the 2007 Summer Computer Simulation Conference
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints
The BlenX language: a tutorial

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Modeling kohn interaction maps with beta-binders: an example

Transactions on Computational Systems Biology III
Foundations of web transactions

FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII
A trace semantics for long-running transactions

CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years

Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

An extension of the BlenX language with biological transactions , called TBlenX, is presented. The aim of this extension is to model a sequence of elementary actions as if it were atomic. This extension is useful when we need to specify multi-reactant multi-product reactions or when we use a sequence of actions to represent a biological interaction. Some properties of these transactions are discussed and some examples are reported to illustrate our extension.