Causality in Membrane Systems

Cached

Download Links

by Nadia Busi
Citations:6 - 0 self

Documents Related by Co-Citation

12 A rewriting logic framework for operational semantics of membrane systems – O Andrei, G Ciobanu, D Lucanu - 2007
5 Using Well–structured Transition Systems to Decide Divergence for Catalytic P Systems. Theoret – N Busi
7 Compositional Semantics and Behavioral Equivalences for P Systems – Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini - 2008
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
20 Higher level synchronizing devices in MEIJE–SCCS. Theoret. comput – R De Simone - 1985
399 Membrane computing: An introduction – Gh Păun - 2002
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
6 Encoding–decoding transitional systems for classes of P systems – L Bianco, V Manca
3 A Formal Framework for Static (Tissue – R Freund, S Verlan
6 A Formal Framework for Static (Tissue) P Systems – R Freund, S Verlan - 2007
39 On the Relationship Between Process Algebra and Input/Output Automata (Extended Abstract) – Frits W. Vaandrager - 1991
6 A P Systems Flat Form Preserving Step–by–step Behaviour – Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini - 2008
19 Full Abstraction in Structural Operational Semantics (Extended Abstract) – Rob Van Glabbeek - 1993
9 Structural operational semantics of P Systems – O Andreai, G Ciobanu, D Lucanu - 2006
1 Università di Pisa) Bio-inspired Models of Computation Pisa – April 3rd, 2009 39 / 40 We have given an overview on (some) bio-inspired models of computation We have suggested a few topics for student seminars. Other ideas: Extensions of P Systems (with ti – Paolo Milazzo
1 A Formal Framework for Static (Tissue) P Systems – Sci - 1985
1 Causality in Membrane Systems. Workshop on Membrane Computing (WMC – N Busi
21 P systems for biological dynamics – L Bianco, F Fontana, G Franco, V Manca
1 Formal verification of parallel programs, CACM 19 – R Keller - 1976