Events, causality, and concurrency in membrane systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4860 LNCS, Issue , 2007, Pages 209-227

  Ciobanu, Gabriel ^a,b   Lucanu, Dorel ^a  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL METHODS; CONCURRENCY CONTROL; SEMANTICS;

MAXIMAL PARALLEL STEPS; MEMBRANE SYSTEMS;

BIOLOGICAL MEMBRANES;

EID: 38549124302     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77312-2_13     Document Type: Conference Paper

References (15)

1. Aman, B., Ciobanu, G.: Describing the Immune System Using Enhanced Mobile Membranes. In: Proceedings FBTC (Satellite workshop of CONCUR 2007), pp. 1-14 (2007)
2. Andrei, O., Ciobanu, G., Lucanu, D.: A Structural Operational Semantics of the P Systems. In: Freund, R., Pǎun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 32-49. Springer, Heidelberg (2006)
3. Andrei, O., Ciobanu, G., Lucanu, D.: Operational Semantics and Rewriting Logic in Membrane Computing. Electronic Notes of Theoretical Computer Sci. 156, 57-78 (2006)
4. Andrei, O., Ciobanu, G., Lucanu, D.: A Rewriting Logic Framework for Operational Semantics of Membrane Systems. Theoretical Computer Sci. 373, 163-181 (2007)
5. Besozzi, D., Ciobanu, G.: A P System Description of the Sodium-Potassium Pump. In: Mauri, G., Pǎun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 211-223. Springer, Heidelberg (2005)
6. Busi, N.: Causality in membrane systems. In: Eleftherakis, G., Kefalas, P., Pǎun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 160-171. Springer, Heidelberg (2007)
7. Ciobanu, G., Lucanu, D.: What is an event for membrane systems? In: Pre procedings of Membrane Computing, International Workshop - WMC 8, Thessaloniki, Greece, pp. 255-266 (2007)
8. Ciobanu, G., Pǎun, G., Perez-Jimenez, M.J. (eds.): Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006)
9. Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Transition Systems, Event Structures, and Unfoldings. Information and Computation 118, 191-207 (1995)
10. Pǎun, G.: Computing with Membranes. Journal of Computer and System Sciences 61, 108-143 (2000)
11. Pǎun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
12. Sassone, V., Nielsen, M., Winskel, G.: Models for Concurrency: Towards a Classification. Theoretical Computer Sci. 170, 297-348 (1996)
13. Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)
14. Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 364-397. Springer, Heidelberg (1989)
15. Winskel, G., Nielsen, M.: Models for Concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Oxford University Press, Oxford (1995)