|
10
|
D.: A rewriting logic framework for operational semantics of membrane systems
– O Andrei, G Ciobanu, Lucanu
- 2007
|
|
5
|
Using Well–structured Transition Systems to Decide Divergence for Catalytic P Systems
– N Busi
|
|
7
|
Compositional Semantics and Behavioral Equivalences for P Systems
– Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
- 2008
|
|
102
|
Structural Operational Semantics
– Luca Aceto, Wan Fokkink, Chris Verhoef
- 1999
|
|
19
|
Higher-level synchronizing devices in MEIJE-SCCS
– R de Simone
- 1985
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
315
|
Membrane Computing. An Introduction
– G Păun
|
|
4
|
Encoding–Decoding Transitional Systems for Classes of P Systems
– L Bianco, V Manca
- 2006
|
|
35
|
On the Relationship Between Process Algebra and Input/Output Automata (Extended Abstract)
– Frits W. Vaandrager
- 1991
|
|
3
|
Verlan: A formal framework for static (tissue) P systems
– R Freund, S
|
|
5
|
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
|
|
18
|
P Systems for Biological Dynamics
– L Bianco, F Fontana, G Franco, V Manca
- 2006
|
|
4
|
Spiking Neural P Systems with Extended Rules
– Haiming Chen, Tseren-onolt Ishdorj, Gheorghe Păun, Mario J. Pérez-jiménez
|
|
1
|
Formal verification of parallel programs, CACM 19
– R Keller
- 1976
|
|
1
|
Asynchronous spiking neural P systems, Theor
– M Cavaliere, O H Ibarra, G Pǎun, O Egecioglu, M Ionescu, S Woodworth
|
