![Theoretical computer science / Logic in computer science / Software engineering / Computing / Formal languages / Formal methods / Bisimulation / -calculus / Monad / Petri net / Rewriting / Lac operon Theoretical computer science / Logic in computer science / Software engineering / Computing / Formal languages / Formal methods / Bisimulation / -calculus / Monad / Petri net / Rewriting / Lac operon](https://www.pdfsearch.io/img/5bd1283960ea1f7d7aa5a6b1b64bd27f.jpg) 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
|