Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara Coalgebraic behavioral metrics. (English) Zbl 1515.68199 Log. Methods Comput. Sci. 14, No. 3, Paper No. 20, 61 p. (2018). MSC: 68Q85 18C20 18C50 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 20, 61 p. (2018; Zbl 1515.68199) Full Text: DOI arXiv
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana The power of convex algebras. (English) Zbl 1442.68085 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017). MSC: 68Q45 68Q55 68Q70 68Q85 68Q87 PDFBibTeX XMLCite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017; Zbl 1442.68085) Full Text: DOI
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300 Math. Struct. Comput. Sci. 27, No. 7, 1236-1264 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18B20 18C15 18C50 68Q55 68Q70 PDFBibTeX XMLCite \textit{J. Rot} et al., Math. Struct. Comput. Sci. 27, No. 7, 1236--1264 (2015; Zbl 1380.68300) Full Text: DOI
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. (English) Zbl 1330.68194 Theor. Comput. Sci. 604, 102-126 (2015). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Theor. Comput. Sci. 604, 102--126 (2015; Zbl 1330.68194) Full Text: DOI arXiv
Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. (English) Zbl 1331.68148 Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 53-74 (2014). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 8446, 53--74 (2014; Zbl 1331.68148) Full Text: DOI
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio A categorical semantics of signal flow graphs. (English) Zbl 1417.68119 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 435-450 (2014). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 8704, 435--450 (2014; Zbl 1417.68119) Full Text: DOI HAL
Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra Brzozowski’s and up-to algorithms for must testing. (English) Zbl 1426.68180 Shan, Chung-chieh (ed.), Programming languages and systems. 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9–11, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8301, 1-16 (2013). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 8301, 1--16 (2013; Zbl 1426.68180) Full Text: DOI Link
Bonchi, Filippo; Pous, Damien Checking NFA equivalence with bisimulations up to congruence. (English) Zbl 1301.68169 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{D. Pous}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 457--468 (2013; Zbl 1301.68169) Full Text: DOI HAL
Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra Final semantics for decorated traces. (English) Zbl 1342.68224 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 73-86 (2012). MSC: 68Q85 68Q45 68Q55 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Electron. Notes Theor. Comput. Sci. 286, 73--86 (2012; Zbl 1342.68224) Full Text: DOI
Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan Quantitative Kleene coalgebras. (English) Zbl 1227.68075 Inf. Comput. 209, No. 5, 822-849 (2011). Reviewer: Lutz Schröder (Bremen) MSC: 68Q70 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Silva} et al., Inf. Comput. 209, No. 5, 822--849 (2011; Zbl 1227.68075) Full Text: DOI Link