Rule-based and object-based event structures for membrane systems

Journal of Logic and Algebraic Programming

Volumn 79, Issue 6, 2010, Pages 295-303

  Agrigoroaiei, Oana ^a,b   Ciobanu, Gabriel ^a  

^a ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

Event structures; Membrane computing; Operational semantics

Indexed keywords

DEPENDENCE RELATION; EVENT STRUCTURES; FRESH NAMES; MEMBRANE COMPUTING; MEMBRANE SYSTEM; OBJECT BASED; OPERATIONAL SEMANTICS; ORDER RELATION; RULE BASED; SINGLE-RULE;

BIOINFORMATICS; SEMANTICS;

MEMBRANES;

EID: 77955429639     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2010.03.010     Document Type: Article

References (9)

1. N. Busi Causality in membrane systems Lecture Notes in Comput. Sci. 4860 2007 160 171
2. G. Ciobanu, and D. Lucanu Events, causality, and concurrency in membrane systems Lecture Notes in Comput. Sci. 4860 2007 209 227
3. G. Ciobanu, Gh. Pun, M.J. Pérez-Jiménez, Applications of Membrane Computing 2006 Springer
4. R. Freund, and S. Verlan A formal framework for static (tissue) P systems Lecture Notes in Comput. Sci. 4860 2007 271 284
5. J. Kleijn, M. Koutny, and G. Rozenberg Towards a petri net semantics for membrane systems Lecture Notes in Comput. Sci. 3850 2006 292 309 (Pubitemid 43973480)
6. Gh. Pun Membrane Computing. An Introduction 2002 Springer
7. G.M. Pinna, and A. Saba An event based semantics of P systems Sci. Ann. Comput. Sci. 18 2008 99 128
8. V. Sassone, M. Nielsen, and G. Winskel Models for concurrency: towards a classification Theoret. Comput. Sci. 170 1996 297 348
9. G. Winskel An introduction to event structures Lecture Notes in Comput. Sci. 354 1989 364 397