Executable specifications of P systems

Lecture Notes in Computer Science

Volumn 3365, Issue , 2005, Pages 126-145

  Andrei, Oana ^a   Ciobanu, Gabriel ^a   Lucanu, Dorel ^a  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; FORMAL LOGIC; SEMANTICS;

ALGEBRAIC SPECIFICATIONS; P SYSTEMS; REWRITING STRATEGY; TEMPORAL LOGIC FORMULAS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 24144495222     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31837-8_7     Document Type: Conference Paper

References (9)

1. G. Ciobanu, D. Paraschiv. P System Software Simulator. Fundamenta Informaticae vol. 49, 61-66, 2002.
2. G. Ciobanu, W. Guo. P Systems Running on a Cluster of Computers. In Gh. Pǎun, G. Rozenberg, A.Salomaa (Eds.): Membrane Computing, LNCS vol. 2933, Springer, 123-139, 2004.
3. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, vol. 285(2), 187-243, 2002.
4. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott. Maude Manual (Version 2.1). http://maude.cs.uiuc.edu, 2004.
5. F. Durán and J. Meseguer. Structured theories and institutions. In M. Hofmann, G. Rosolini, and D. Pavlovic, editors, Procs. of the 8th Conference on Category Theory and Computer Science (CTCS'99), volume 29 of ENTCS. Elsevier, 1999.
6. S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL Model Checker and Its Implementation. In T. Ball, S.K. Rajamani (Eds.): Model Checking Software: 10th SPIN Workshop, LNCS vol. 2648, Springer, 230-234, 2003.
7. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J.-P. Jouannaud. Introducing OBJ. In Software Engineering with OBJ: Algebraic Specification in Action, 3-167, Kluwer, 2000.
8. Gh. Pǎun. Computing with membranes. Journal of Computer and System Sciences vol. 61, 108-143, 2000.
9. Gh. Pǎun. Computing with Membranes: An Introduction, Springer, 2002.