Operational patterns in beta-binders

Authors:
Corrado Priami;Paola Quaglia
Affiliations:
Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy;Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy
Venue:
Transactions on Computational Systems Biology I
Year:
2005

Citing 8
Cited 10

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
Communication and Concurrency

Communication and Concurrency
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
Graphs for Core Molecular Biology

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Core formal molecular biology

ESOP'03 Proceedings of the 12th European conference on Programming
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

The Decidability of the Structural Congruence for Beta-binders

Electronic Notes in Theoretical Computer Science (ENTCS)
A Static Analysis for Beta-Binders

Electronic Notes in Theoretical Computer Science (ENTCS)
On the decidability and complexity of the structural congruence for beta-binders

Theoretical Computer Science
A Control Flow Analysis for Beta-binders with and without static compartments

Theoretical Computer Science
On the computational power of BlenX

Theoretical Computer Science
Modeling static biological compartments with beta-binders

AB'07 Proceedings of the 2nd international conference on Algebraic biology
An automated translation from a narrative language for biological modelling into process algebra

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Causality in membrane systems

WMC'07 Proceedings of the 8th international conference on Membrane computing
Modeling kohn interaction maps with beta-binders: an example

Transactions on Computational Systems Biology III
A Software Interface Between the Narrative Language and Bio-PEPA

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

As a preliminary step in testing the expressiveness of Beta-binders against realistic case studies, we comment on a number of operational properties of the formalism and present a set of derived patterns that can be useful when modeling complex biosystems.