<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-12-18 06:55:15Theoretical computer science Logic in computer science Mathematics Formal methods Bisimulation Mathematical logic Petri net Rewriting |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-12-18 06:55:15Theoretical computer science Logic in computer science Mathematics Formal methods Bisimulation Mathematical logic Petri net Rewriting |
Add to Reading List |
Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento