Biological Transactions for Quantitative Models

Authors:
Federica Ciocchetta;Corrado Priami
Affiliations:
Dipartimento di Informatica e Telecomunicazioni, University of Trento, Trento, Italy;Dipartimento di Informatica e Telecomunicazioni, University of Trento, the Microsoft Research-University of Trento Centre for Computational and Systems Biology, Trento, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 9
Cited 4

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Relating multiset rewriting and process algebras for security protocol analysis

Journal of Computer Security - Special issue on WITS'03
Core formal molecular biology

ESOP'03 Proceedings of the 12th European conference on Programming
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
A trace semantics for long-running transactions

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

The BlenX Language with Biological Transactions

Transactions on Computational Systems Biology IX
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
A stochastic pi calculus for concurrent objects

AB'07 Proceedings of the 2nd international conference on Algebraic biology
Process algebras in systems biology

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work an extension of stochastic @p-calculus with biological transactions is presented. This permits to model multi-reactant multi-product reactions as atomic actions when quantitative information are given. First, the syntax and the semantics are defined, then some transaction properties are discussed. Finally, some examples are described.