Date: 2015-12-18 06:55:14Theoretical 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 PisaAdd to Reading ListSource URL: pages.di.unipi.itDownload Document from Source Website File Size: 158,86 KBShare Document on Facebook
|