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

Theoretical Computer Science

Volumn 404, Issue 1-2, 2008, Pages 156-169

  Romanel, A ^a,b   Priami, C ^a,b  

^a CoSBi ^*  (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Complexity; Decidability; Process calculi; Structural congruence

Indexed keywords

BINDERS; BIOLOGICAL SYSTEMS; BIOMINERALIZATION; CHLORINE COMPOUNDS; DIFFERENTIATION (CALCULUS); INFORMATION THEORY; MATHEMATICAL TECHNIQUES;

COMPLEXITY; DECIDABILITY; PROCESS CALCULI; PROCESS CALCULUS; STRUCTURAL CONGRUENCE; STRUCTURAL CONGRUENCES;

COMPUTABILITY AND DECIDABILITY;

EID: 49249124580     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.007     Document Type: Article

References (30)

1. Priami C., and Romanel A. The decidability of the structural congruence for beta-binders. Electron. Notes Theor. Comput. Sci. 171 2 (2007) 155-170
2. A. Regev, E. Shapiro, Cells as computation, Nature 419 (6905). http://dx.doi.org/10.1038/419343a
3. Milner R. Communication and Concurrency (1989), Prentice-Hall, Inc.
4. Hoare C. Communicating sequential processes. Commun. ACM 21 8 (1978) 666-677
5. Priami C., Regev A., Shapiro E., and Silvermann W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inform. Process. Lett. 80 1 (2001) 25-31
6. Regev A., Panina E., Silverman W., Cardelli L., and Shapiro E. Bioambients: An abstraction for biological compartments. Theoret. Comput. Sci. 325 1 (2004) 141-167
7. Cardelli L. Brane calculi. Computational Methods in Systems Biology. LNCS vol. 3082 (2005) 257-278
8. Priami C., and Quaglia P. Beta binders for biological interactions. Proc. of Computational Methods in Systems Biology. LNCS vol. 3082 (2005) 20-33
9. Gillespie D. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81 25 (1977) 2340-2361
10. Gillespie D. A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Phys. Chem. 22 (1976) 403-434
11. Phillips A., and Cardelli L. A correct abstract machine for the stochastic pi-calculus. Concurrent Models in Molecular Biology (2004)
12. A. Romanel, A stochastic abstract machine for beta-binders, Master's thesis, 2006
13. Priami C., and Quaglia P. Operational patterns in Beta-binders. T. Comp. Sys. Biology 1 (2005) 50-65
14. Degano P., Prandi D., Priami C., and Quaglia P. Beta-binders for biological quantitative experiments. Electron. Notes Theor. Comput. Sci. 164 3 (2006) 101-117
15. J. Engelfriet, T. Gelsema, The decidability of structural congruence for replication restricted pi-calculus processes, Tech. Rep. 04-07, Leiden Institute of Advanced Computer Science, Leiden University, The Nederlands, 2004
16. Engelfriet J. A multiset semantics for the pi-calculus with replication. Theoret. Comput. Sci. 153 1-2 (1996) 65-94
17. Engelfriet J., and Gelsema T. Multisets and structural congruence of the pi-calculus with replication. Theoret. Comput. Sci. 211 1-2 (1999) 311-337
18. J. Engelfriet, T. Gelsema, Structural congruence in the pi-calculus with potential replication, Tech. Rep. 00-02, Leiden Institute of Advanced Computer Science, Leiden University, The Nederlands, 2000
19. Engelfriet J., and Gelsema T. A new natural structural congruence in the pi-calculus with replication. Acta Inform. 40 6-7 (2004) 385-430
20. R. Milner, The polyadic pi-calculus: A tutorial, Tech. Rep. ECSLFCS-91-180, Computer Science Department, University of Edinburgh, UK, 1991
21. Köbler J., Schöning U., and Torán J. The Graph Isomorphism Problem: Its Structural Complexity (1993), Birkhäuser
22. K. Booth, C. Colbourn, Problems polynomially equivalent to graph isomorphism, Tech. Rep. CS-77-04, Department of Computer Science, University of Waterloo, Ontario, Canada, 1977
23. de Bruijn N. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation. Indag. Math. 34 (1972) 381-392
24. L. Dematté, C. Priami, A. Romanel, BetaWB: Modelling and simulating biological processes, in: 2007 Summer Simulation Multiconference, 2007, pp. 777-784
25. Gibson M., and Bruck J. Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Phys. Chem. 104 (2000) 1876-1889
26. Gilmore T. The Rel/NF-κB signal transduction pathway: Introduction. Oncogene 19 49 (1999) 6842-6844
27. A. Ihekwaba, R. Larcher, R. Mardare, C. Priami, Poster abstract: BetaWB - a language for modular representation of biological SYSTEMS, in: ICSB 2007: The Eighth International Conference on Systems Biology, 2007, pp. 61-62. http://www.icsb-2007.org/proceedings/index.html
28. Huang C., and Ferrell J. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proc. Natl. Acad. Sci. USA 93 19 (1996) 10078-10083
29. L. Dematté, C. Priami, A. Romanel, O. Soyer, A formal and integrated framework to simulate evolution of biological pathways, in: CMSB, 2007, pp. 106-120
30. Novak B., Csikasz-Nagy A., Gyorffy B., Nasmyth K., and Tyson J. Model scenarios for evolution of the eukaryotic cell cycle. Philos. Trans. Biol. Sci. 353 1378 (1998) 2063-2076