Compositional semantics and behavioral equivalences for P Systems

Theoretical Computer Science

Volumn 395, Issue 1, 2008, Pages 77-100

  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

Behavioral equivalence; Congruence; P systems; Structural operational semantics

Indexed keywords

ALGEBRA; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS;

BEHAVIORAL EQUIVALENCE; COMPOSITIONAL SEMANTICS; CONGRUENCE; MODEL MEMBRANES; STRUCTURAL OPERATIONAL SEMANTICS (SOS);

SEMANTICS;

EID: 41149164080     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.01.028     Document Type: Article

References (24)

1. Aceto L. Deriving complete inference systems for a class of GSOS languages generating regular behaviors. Proceeding of the 5th International Conference on Concurrency Theory, CONCUR'94. Lecture Notes in Computer Science vol. 836 (1994), Springer 449-464
2. Aceto L., Bloom B., and Vaandrager F. Turning SOS rules into equations. Inform. Comput. 111 (1994) 1-52
3. Aceto L., Fokkink W.J., Verhoef C., Bergstra J.A., Ponse A., and Smolka S.A. Structural operational semantics. Handbook of Process Algebra (2001), Elsevier 197-292
4. Andreai O., Ciobanu G., and Lucanu D. Structural operational semantics of P Systems. Proceedings of the 6th Workshop on Membrane Computing, WMC 2005. Lecture Notes in Computer Science vol. 3850 (2006), Springer pp. 31-28
5. Andreai O., Ciobanu G., and Lucanu D. A rewriting logic framework for operational semantics of membrane systems. Theoret. Comput. Sci. 373 (2007) 163-181
6. Bergstra J.A., and Klop J.W. Process algebra for synchronous communication. Inform. Comput. 60 (1984) 109-137
7. Berry G., and Benveniste (Eds.) A. Another look at real time systems. IEEE Proc. 79 (1991) 1268-1336
8. Busi N. Using well-structured transition systems to decide divergence for catalytic P systems. Theoret. Comput. Sci. 372 (2007) 125-135
9. Busi N. Causality in membrane systems. Proceedings of the 8th Workshop on Membrane Computing, WMC 2007. Lecture Notes in Computer Science vol. 4860 (2007), Springer 160-171
10. de Simone R. High level synchronization devices in Meije-SCCS. Theoret. Comput. Sci. 37 (1985) 245-267
11. Freund R., and Verlan S. A formal framework for static (tissue) P Systems. Proceeding of the 8th Workshop on Membrane Computing, WMC 2007. Lecture Notes in Computer Science vol. 4860 (2007), Springer 271-284
12. Keller R. Formal verification of parallel programs. CACM 19 (1976) 371-384
13. Lüttgen G., von der Beeck M., and Cleaveland R. Statecharts via process algebra. Proceedings of the 10th International Conference on Concurrency Theory, CONCUR'99. Lecture Notes in Computer Science (1999), Springer 399-414
14. Maggiolo-Schettini A., Peron A., and Tini S. A comparison of statecharts step semantics. Theoret. Comput. Sci. 290 (2003) 465-498
15. Milner R. A complete inference system for a class of regular behaviors. J. Comput. System Sci. 28 (1984) 439-466
16. Pa ̌un G. Membrane Computing. An Introduction (2002), Springer
17. Pa ̌un G., and Rozenberg G. A guide to membrane computing. Theoret. Comput. Sci. 287 (2002) 73-100
18. G. Plotkin, A structural spproach to operational semantics, Tech. Rep. DAIMI FN-19, University of Aarhus, 1981
19. Plotkin G. A structural approach to operational semantics. J. Log. Algebr. Program. 60-61 (2004) 17-139
20. Tini S. An axiomatic semantics for Esterel. Theoret. Comput. Sci. 269 (2001) 231-282
21. Tini S. An axiomatic semantics for the synchronous language Gentzen. J. Comput. Syst. Sci. 66 (2003) 316-348
22. Uselton A.C., and Smolka S.A. A compositional semantics for Statecharts using labeled transition systems. Proceeding of the 5th International Conference on Concurrency Theory, CONCUR'94. Lecture Notes in Computer Science vol. 836 (1994), Springer 2-17
23. Vaandrager F. On the relationship between process algebra and input/output automata. Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science, LICS'91 (1991), IEEE Press 387-398
24. van Glabbeek R.J. Full abstraction in structural operational semantics. Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology, AMAST 1993. Workshops on Computing (1993), Springer 77-84