Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa

First Page		Document Content
Date: 2015-12-18 06:55:14 Theoretical computer science Logic in computer science Software engineering Computing Formal languages Formal methods Bisimulation -calculus Monad Petri net Rewriting Lac operon		Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa Add to Reading List Source URL: pages.di.unipi.it Download Document from Source Website File Size: 158,86 KB Share Document on Facebook

	HSC 8 - Water November 19, 2014 Research Center, Pori / Petri Kobylin, Peter BjörklundORC-J DocID: 1veqN - View Document
	HSC 8 – Equilibrium Module November 25, 2014 Research Center, Pori / Petri Kobylin, Lena Furta, Danil VilaevORC-J DocID: 1vbcR - View Document
	Imperial College London Department of Computing Automated Construction of Petri Net Performance Models from High-Precision Location Tracking Data DocID: 1v0XK - View Document
	HSC 8 – Heat and Material Balance November 19, 2014 Research Center, Pori / Petri Kobylin, Antti Roine, Peter BjörklundORC-J DocID: 1uNE7 - View Document
	Model engineering on Petri nets for ISO/IEC: API Framework for Petri Net types metamodels Lom Hillah, Fabrice Kordon (LIP6, Univ. P. & M. Curie), {lom-messan.hillah,fabrice.kordon}@lip6.fr Laure Petrucci (LIPN, U DocID: 1uLAw - View Document