|
2
|
Towards a causal semantics for Brane Calculi
– Nadia Busi
- 2007
|
|
22
|
Models for Name-Passing Processes: Interleaving and Causal
– Gian Luca Cattani, Peter Sewell
- 2000
|
|
5
|
The Calculus of Looping Sequences
– Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Giovanni Pardini
|
|
8
|
Bio-Steps Beyond Turing
– Cristian S. Calude, Gheorghe Păun
- 2004
|
|
|
Concurrency Can’t Be Observed, Asynchronously
– Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
|
|
|
P Systems with Endosomes
– R. Barbuti, G. Caravagna, A. Maggiolo-schettini, P. Milazzo
- 1900
|
|
8
|
On the computational power of brane calculi
– Nadia Busi, Roberto Gorrieri
- 2005
|
|
6
|
The Calculus of Looping Sequences for Modeling Biological Membranes
– Roberto Barbuti, Paolo Milazzo, Angelo Troina
- 2007
|
|
1
|
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
– Claudio Zandron, Alberto Leporati, Claudio Ferretti, Giancarlo Mauri, Mario J. Pérez-Jiménez
|
|
4
|
A Membrane Algorithm for the Min Storage Problem
– Alberto Leporati, Dario Pagani
|
|
10
|
On the computational power of spiking neural P systems
– Alberto Leporati, Claudio Z, Claudio Ferretti, Giancarlo Mauri
|
|
|
A Cloud based P Systems Algorithm
– Eamd Nabil, Hala Hameed, Amr Badr
|
|
6
|
A Causal Semantics for CCS via Rewriting Logic
– Pierpaolo Degano, Fabio Gadducci, Corrado Priami
- 2000
|
|
1
|
Constructing specific SOS semantics for concurrency via abstract interpretation (Extended Abstract)
– Ciara Bodei, Corrado Priami
|
|
7
|
CCS Semantics via Proved Transition Systems and Rewriting Logic
– Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci
- 1998
|
|
|
AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
– Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
- 2010
|
|
7
|
Compositional Semantics and Behavioral Equivalences for P Systems
– Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
- 2008
|
|
1
|
On deducing causality in metabolic networks
– Chiara Bodei, Andrea Bracciali, Davide Chiarugi
|
|
|
Compositional Semantics of Spiking Neural P Systems
– Roberto Barbuti , Andrea Maggiolo-Schettini , Paolo Milazzo , Simone Tini
- 2010
|
