The Decidability of the Structural Congruence for Beta-binders

Authors:
Corrado Priami;Alessandro Romanel
Affiliations:
The Microsoft Research - University of Trento, Centre for Computational and Systems Biology, Trento, Italy;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 2

The graph isomorphism problem: its structural complexity

The graph isomorphism problem: its structural complexity
A multiset semantics for the pi-calculus with replication

Theoretical Computer Science - Special volume on Petri nets
Multisets and structural congruence of the pi-calculus with replication

Theoretical Computer Science
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
A new natural structural congruence in the pi-calculus with replication

Acta Informatica
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Beta binders for biological interactions

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

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Operational patterns in beta-binders

Transactions on Computational Systems Biology I

On the decidability and complexity of the structural congruence for beta-binders

Theoretical Computer Science
The BlenX Language with Biological Transactions

Transactions on Computational Systems Biology IX

Quantified Score

Hi-index	0.00

Visualization

Abstract

Beta-binders is a recent process algebra developed for modeling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a structural congruence. The treatment of the structural congruence is essential for implementation. The proof of the decidability of this congruence, reported in this paper, is a first step towards implementations.