On model-checking of P systems

Lecture Notes in Computer Science

Volumn 3699, Issue , 2005, Pages 82-93

  Dang, Zhe ^a   Ibarra, Oscar H ^b   Li, Cheng ^a   Xie, Gaoyan ^a  

^a Washington State University   (United States)

^b University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL MEMBRANES; CELLS; COMPUTATIONAL METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING; REACTION KINETICS;

COMPUTING MODEL; MODEL-CHECKING; MOLECULAR COMPUTING; P SYSTEMS;

COMPUTATIONAL COMPLEXITY;

EID: 27144525238     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11560319_9     Document Type: Conference Paper

References (14)

1. O. Andrei, G. Ciobanu, and D. Lucanu. Executable specifications of p systems. In Proc. 5th Workshop on Membrane Computing, pages 126-145, 2005.
2. T. Bultan, R. Gerber, and W. Pugh. Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Trans. Program. Lang. Syst., 21(4):747-789, 1999.
3. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
4. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
5. R. Freund, L. Kari, M. Oswald, and P. Sosik. Computationally universal P systems without priorities: two catalysts are sufficient. Available at http://psystems.disco.unimib.it, 2003.
6. S. Greibach. Remarks on blind and partially blind one-way multicounter machines. Theor. Comput. Sci., 7:311-324, 1978.
7. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, 1997.
8. O. H. Ibarra. The number of membranes matters. In Proc. 4th Workshop on Membrane Computing, pages 218-231, 2003.
9. Gh. Paun. Computing with membranes. Journal of Computer and System Sciences, 61(1):108-143, 2000.
10. Gh. Paun. Membrane Computing: An Introduction. Springer-Verlag, 2002.
11. Gh. Paun and G. Rozenberg. A guide to membrane computing. TCS, 287(1):73-100, 2002.
12. W. Pugh. The omega test: a fast and practical integer programming algorithm for dependence analysis. Communications of the ACM, 35(8): 102-114, 1992.
13. P. Sosik. P systems versus register machines: two universality proofs. In Pre-Proceedings of Workshop on Membrane Computing (WMC-CdeA2002), Curtea de Arges, Romania, pages 371-382, 2002.
14. P. Sosik and R. Freund. P systems without priorities are computationally universal. In WMC-CdeA2002, volume 2597 of LNCS, pages 400-409. Springer, 2003.