![Theoretical computer science / Logic in computer science / Mathematics / Formal methods / Bisimulation / Mathematical logic / Petri net / Rewriting Theoretical computer science / Logic in computer science / Mathematics / Formal methods / Bisimulation / Mathematical logic / Petri net / Rewriting](https://www.pdfsearch.io/img/d73aa67bb30888a882bf1ebfd0b214af.jpg) Date: 2015-12-18 06:55:15Theoretical computer science Logic in computer science Mathematics Formal methods Bisimulation Mathematical logic Petri net Rewriting | | 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 DipartimentoAdd to Reading ListSource URL: pages.di.unipi.itDownload Document from Source Website File Size: 354,99 KBShare Document on Facebook
|