Back to Results
First PageMeta Content
Theoretical 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 Dipartimento
Add to Reading List

Document Date: 2015-12-18 06:55:15


Open Document

File Size: 354,99 KB

Share Result on Facebook