BONCHI, FILIPPO Statistiche

BONCHI, FILIPPO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.056 secondi).
Titolo Data di pubblicazione Autore(i) File
46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia 1-gen-2021 Bonchi, Filippo
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) 1-gen-2017 Bonchi, Filippo; Koenig, Barbara
A general theory of barbs, contexts and labels 1-gen-2014 Bonchi, F.; Gadducci, Fabio; Monreale, Giacoma
A lattice-theoretical perspective on adhesive categories 1-gen-2011 Baldan, P; Bonchi, F; Corradini, Andrea; Heindel, T; Koenig, B.
A net-based approach to Web services publication and replaceability 1-gen-2009 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A presheaf environment for the calculus of explicit fusions 1-gen-2012 Bonchi, F.; Buscemi, M.; Ciancia, Vincenzo; Gadducci, Fabio
Algebra-Coalgebra duality in brzozowski's minimization algorithm 1-gen-2014 Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
Asynchronous traces and open Petri nets 1-gen-2015 Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
The axiom of choice in cartesian bicategories 1-gen-2019 Bonchi, F.; Seeber, J.; Sobocinski, P.
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice 1-gen-2014 Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
Behavioral metrics via functor lifting 1-gen-2014 Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; Kã¶nig, Barbara
Behaviour-aware matching of cloud applications 1-gen-2016 Bonchi, F.; Brogi, Antonio; Canciani, Andrea; Soldani, Jacopo
A behavioural congruence for web services 1-gen-2007 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Bialgebraic foundations for the operational semantics of string diagrams 1-gen-2021 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Bialgebraic semantics for logic programming 1-gen-2015 Bonchi, Filippo; Zanasi, Fabio
Bialgebraic semantics for string diagrams 1-gen-2019 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
Bisimilarity of open terms in stream GSOS 1-gen-2019 Bonchi, F.; van Bussel, T.; Lee, M. D.; Rot, J.
Bisimilarity of Open Terms in Stream GSOS 1-gen-2017 Bonchi, Filippo; Lee, Matias David; Rot, Jurriaan
Brzozowski's algorithm (Co)algebraically 1-gen-2012 Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra
Brzozowski's and up-to algorithms for must testing 1-gen-2013 Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra