An overview on operational semantics in membrane computing

International Journal of Foundations of Computer Science

Volumn 22, Issue 1, 2011, Pages 119-131

  Barbuti, Roberto ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a   Tini, Simone ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF INSUBRIA   (Italy)

Author keywords

Labelled transition systems; P systems; Structural operational semantics

Indexed keywords

EID: 79251621454     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054111007885     Document Type: Article

References (25)

1. L. Aceto,W.J. Fokkink and C. Verhoef, Structural operational semantics, in Handbook of Process Algebra, eds. J.A. Bergstra, A. Ponse and S.A. Smolka (Elsevier, 2001), pp. 197-292.
2. O. Agrigoroaiei and G. Ciobanu, Rule-based and object-based event structures for membrane systems, J. Log. Algeb. Program. (2010), doi:10.1016/j.jlap.2010.03.010
3. O. Andrei, G. Ciobanu and D. Lucanu, Structural operational semantics of P systems, in Proc. 6th Workshop on Membrane Computing (WMC 2005), LNCS, Vol. 3850 (Springer, 2006), pp. 31-28.
4. O. Andrei, G. Ciobanu and D. Lucanu, A rewriting logic framework for operational semantics of membrane systems, Theoret. Comp. Sci. 373 (2007) 163-181.
5. B. Bloom, S. Istrail and A. Meyer, Bisimulation can't be traced, J. Assoc. Comput. Mach 43 (1995) 232-268.
6. R. Barbuti, D.P. Gruska, A. Maggiolo-Schettini and P.Milazzo, A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security, Fund. Inform. 102 (2010) 19-34.
7. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini, Compositional semantics and behavioral equivalences for P systems, Theoret. Comput. Sci. 395 (2008) 77-100.
8. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini, A P systems flat form preserving step-by-step behaviour, Fund. Inform. 87 (2008) 1-34.
9. N. Busi, Using well-structured transition systems to decide divergence for catalytic P systems, Theoret. Comput. Sci. 372 (2007) 125-135.
10. N. Busi, Causality in membrane systems, in Proc. 8th Workshop on Membrane Computing (WMC 2007), LNCS, Vol. 4860 (Springer, 2007), pp. 160-171.
11. J.C.M. Baeten and C. Verhoef, A congruence theorem for structured operational se- mantics with predicates. in Proc. 4th Conference on Concurrency Theory (CONCUR 1993), LNCS, Vol. 715 (Springer, 1993), pp. 477-492.
12. G. Ciobanu, Semantics of P systems, in The Oxford Handbook of Membrane Computing, eds. G. P̌aun, G. Rozenberg and A. Salomaa (Oxford University Press, 2009).
13. G. Ciobanu and D. Lucanu, Events, causality, and concurrency in membrane Computing, in Proc. 8th Workshop on Membrane Computing (WMC 2007), LNCS, Vol. 4860 (Springer, 2007), pp. 209-227.
14. R. de Simone, High level synchronization devices in Meije-SCCS, Theoret. Comput. Sci. 37 (1985) 245-267.
15. R. Freund and S. Verlan, A formal framework for static (tissue) P Systems, in Proc. 8th Workshop on Membrane Computing (WMC 2007), LNCS, Vol. 4860 (Springer, 2007), pp. 271-284.
16. P. Frisco, P systesms, Petri nets, and program machines, in Proc. 6th Workshop on Membrane Computing (WMC 2005), LNCS, Vol. 3850 (Springer, 2006), pp. 209-223.
17. J.H.C.M. Kleijn, M. Koutny and G. Rozenberg, Towards a Petri net semantics for membrane systems, in Proc. 6th Workshop on Membrane Computing (WMC 2005), LNCS, Vol. 3850 (Springer, 2006), pp. 292-309. (Pubitemid 43973480)
18. P. Milazzo, Qualitative and quantitative formal modelling of biological systems, PhD Thesis, University of Pisa, 2007.
19. G. P̌aun, Membrane computing. An introduction (Springer, 2002).
20. M. Pinna and A. Saba, Dependencies and simultaneity in membrane systems, in Proc. of Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), Electronic Proc. in Theoretical Computer Science, Vol. 11 (2009), pp. 155-169.
21. G. Plotkin, A structural approach to operational semantics, Tech. Rep. DAIMI FN- 19, University of Aarhus, 1981.
22. G. Plotkin, A structural approach to operational semantics, J. Log. Algebr. Program. 60-61 (2004) 17-139.
23. Z. Qi, J. You and H. Mao, P systems and Petri nets, in Proc. 4th Workshop on Membrane Computing (WMC 2003), LNCS, Vol. 2933 (Springer, 2004), pp. 286-303.
24. R.J. van Glabbeek, Full abstraction in structural operational semantics, in Proc. 3rd Int. Conference on Algebraic Methodology and Software Technology (AMAST'93), Workshops on Computing (Springer, 1993), pp. 77-84.
25. C. Versari, A Core Calculus for the Analysis and Implementation of Biologically In- spired Languages, PhD Thesis, University of Bologna, 2009.