Translating Stochastic CLS into Maude

Electronic Notes in Theoretical Computer Science

Volumn 227, Issue C, 2009, Pages 37-58

  Basuki, Thomas Anung ^a,b   Cerone, Antonio ^a   Milazzo, Paolo ^b  

^a UNITED NATIONS UNIVERSITY   (Macao)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

biological system; Calculus of Looping Sequences; Maude; model checking

Indexed keywords

BIOLOGICAL SYSTEMS; FUNCTIONS; MODAL ANALYSIS; REAL TIME SYSTEMS; STOCHASTIC MODELS; SUGARS;

ANALYSIS TECHNIQUES; BIOMOLECULAR SYSTEMS; CALCULUS OF LOOPING SEQUENCES; CHEMICAL SYSTEMS; MAUDE; STATISTICAL MODELS; STOCHASTIC SIMULATIONS; TIME PROPERTIES;

MODEL CHECKING;

EID: 58149293183     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.12.103     Document Type: Article

References (21)

1. http://osl.cs.uiuc.edu/~ksen/vesta2/
2. http://www.dcs.ed.ac.uk/pepa/
3. Agha G., Meseguer J., and Sen K. Pmaude: Rewrite-based specification language for probabilistic object systems. Electric Notes in Theoretical Computer Science 153 (2006) 213-239
4. Andrei O., Ciobanu G., and Lucanu D. A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Science 373 (2007) 163-181
5. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, P. Tiberi, and A. Troina. Stochastic cls for the modeling and simulation of biological systems. Transactions on Computational Systems Biology, 2008. in press
6. Barbuti R., Caravagna G., Maggiolo-Schettini A., Milazzo P., and Pardini G. The Calculus of Looping Sequences. In: Bernardo M., Degano P., and Zavattaro G. (Eds). Formal Methods for Computational Systems Biology. LNCS vol. 5016 (2008), Springer 387-423
7. Muffy Calder, Stephen Gilmore, and Jane Hillston. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In Anna Ingolfsdottir and Hanne Riis Nielson, editors, Proceedings of the BioConcur Workshop on Concurrent Models in Molecular Biology, August 2004
8. Cardelli L. Brane Calculi - interactions of biological membranes. In: Danos V., and Schachter V. (Eds). Computational Methods in Systems Biology. International Conference CMSB 2004. LNCS vol. 3082 (2005), Springer 257-280
9. Chabrier-Rivier N., Chiaverini M., Danos V., Fages F., and Schachter V. Modeling and querying biomolecular interaction networks. Theoretical Computer Science 325 1 (September 2004) 25-44
10. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott. Maude Manual (Version 2.3), July 2007
11. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 (2004) 69-110
12. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81 25 (1977) 2340-2361
13. Heath J., Kwiatkowska M., Norman G., Parker D., and Tymchyshyn O. Probabilistic model checking of complex biological pathways. Theoretical Computer Science 391 (2008) 239-257
14. Kwiatkowska M., Norman G., and Parker D. Probabilistic symbolic model checking with prism: a hybrid approach. Int. Journal on Software Tools for Technology Transfer 6 2 (2004) 128-142
15. Martí-Oliet N., and Meseguer J. Rewriting logic as a logical and semantic framework. Electronic Notes in Theoretical Computer Science 4 (1996) 190-225 Elsevier
16. Ölveczky P.C., and Thorvaldsen S. Formal modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude. Proc. 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. FMOODS 07. LNCS vol. 4468 (2007)
17. Peter Csaba Ölveczky. Real-Time Maude 2.3 Manual, August 2007
18. Della Penna G., Intrigila B., Melatti I., Tronci E., and Venturini Zilli M. Bounded probabilistic model checking with the murphi verifier. Formal Methods in Computer-Aided Design. FMCAD'04. LNCS vol. 3312 (2004), Springer 15-17
19. Pérez-Jiménez M.J., and Romero-Campero F.J. P systems, a new computational modelling tool for systems biology. Transactions on Computational Systems Biology VI. LNBI volume 4220 (2006), Springer 176-197
20. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
21. Sen K., Viswanathan M., and Agha G. On Statistical Model Checking of Stochastic Systems. In: Etessami K., and Rajamani S.K. (Eds). 17th International Conference on Computer Aided Verification. CAV'05. LNCS vol. 3576 (2005), Springer 266-280