BONCHI, FILIPPO Statistiche

BONCHI, FILIPPO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 97 (tempo di esecuzione: 0.033 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 Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice 1-gen-2014 Pino, Luis F.; Bonchi, Filippo; Valencia, Frank D.
A behavioural congruence for web services 1-gen-2007 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A categorical semantics of signal flow graphs 1-gen-2014 Bonchi, Filippo; Sobociå ski, Paweå ; Zanasi, Fabio
A category of explicit fusions 1-gen-2008 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
A coalgebraic perspective on linear weighted automata 1-gen-2012 Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
A coalgebraic perspective on minimization and determinization 1-gen-2012 Adã¡mek, Jiå ã­; Bonchi, Filippo; Hã¼lsbusch, Mathias; Kã¶nig, Barbara; Milius, Stefan; Silva, Alexandra
A coalgebraic view on decorated traces 1-gen-2016 Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A.
A general account of coinduction up-to 1-gen-2017 Bonchi, Filippo; Petrisan, Daniela; Pous, Damien; Rot, Jurriaan
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
A Survey of Compositional Signal Flow Theory 1-gen-2021 Bonchi, F.; Sobocinski, P.; Zanasi, F.
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
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
Bialgebraic foundations for the operational semantics of string diagrams 1-gen-2021 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.