Items where Author is "Bonchi, Filippo"
Group by: Item Type | No Grouping Number of items: 5. Bonchi, Filippo and Montanari, Ugo (2008) Minimization Algorithm for Symbolic Bisimilarity. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bonchi, Filippo and Gadducci, Fabio and Monreale, Giacoma Valentina (2008) Labeled Transitions for Mobile Ambients. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bonchi, Filippo and Brogi, Antonio and Corfini, Sara and Gadducci, Fabio (2008) Compositional Specification of Web Services via Behavioural Equivalence of Nets: A Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bonchi, Filippo and Montanari, Ugo (2006) A Coalgebraic Theory of Reactive Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bonchi, Filippo and Gadducci, Fabio and Koenig, Barbara (2006) Process Bisimulation via a Graphical Encoding. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |