Bonchi, Filippo; König, Barbara; Petrişan, Daniela Up-to techniques for behavioural metrics via fibrations. (English) Zbl 07813346 Math. Struct. Comput. Sci. 33, No. 4-5, 182-221 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{F. Bonchi} et al., Math. Struct. Comput. Sci. 33, No. 4--5, 182--221 (2023; Zbl 07813346) Full Text: DOI OA License
Bonchi, Filippo; Sokolova, Ana; Vignudelli, Valeria The theory of traces for systems with nondeterminism, probability, and termination. (English) Zbl 07566077 Log. Methods Comput. Sci. 18, No. 2, Paper No. 21, 66 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Bonchi} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 21, 66 p. (2022; Zbl 07566077) Full Text: arXiv Link
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio Bialgebraic foundations for the operational semantics of string diagrams. (English) Zbl 1518.68197 Inf. Comput. 281, Article ID 104767, 22 p. (2021). MSC: 68Q55 18C15 18M30 68Q85 93B70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 281, Article ID 104767, 22 p. (2021; Zbl 1518.68197) Full Text: DOI
Bonchi, Filippo; Santamaria, Alessio Combining semilattices and semimodules. (English) Zbl 07410421 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 102-123 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{F. Bonchi} and \textit{A. Santamaria}, Lect. Notes Comput. Sci. 12650, 102--123 (2021; Zbl 07410421) Full Text: DOI arXiv
Bonchi, Filippo; Silva, Alexandra; Sokolova, Ana Distribution bisimilarity via the power of convex algebras. (English) Zbl 1480.18005 Log. Methods Comput. Sci. 17, No. 3, Paper No. 10, 28 p. (2021). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C15 03B42 68Q87 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 10, 28 p. (2021; Zbl 1480.18005) Full Text: arXiv Link
Bonchi, Filippo; König, Barbara; Petrişan, Daniela Up-to techniques for behavioural metrics via fibrations. (English) Zbl 1520.68089 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 17, 17 p. (2018). MSC: 68Q85 18C15 PDFBibTeX XMLCite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 17, 17 p. (2018; Zbl 1520.68089) Full Text: DOI arXiv
Bonchi, Filippo; König, Barbara; Küpper, Sebastian Up-to techniques for weighted systems. (English) Zbl 1452.68100 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 535-552 (2017). MSC: 68Q45 68Q42 68Q70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 10205, 535--552 (2017; Zbl 1452.68100) 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
Bonchi, Filippo; Petrişan, Daniela; Pous, Damien; Rot, Jurriaan A general account of coinduction up-to. (English) Zbl 1371.68186 Acta Inf. 54, No. 2, 127-190 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Acta Inf. 54, No. 2, 127--190 (2017; Zbl 1371.68186) Full Text: DOI
Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. A coalgebraic view on decorated traces. (English) Zbl 1364.68276 Math. Struct. Comput. Sci. 26, No. 7, 1234-1268 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Math. Struct. Comput. Sci. 26, No. 7, 1234--1268 (2016; Zbl 1364.68276) Full Text: DOI
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio Lawvere categories as composed PROPs. (English) Zbl 1475.18028 Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 11-32 (2016). MSC: 18M85 18C10 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 9608, 11--32 (2016; Zbl 1475.18028) Full Text: DOI HAL
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; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra Algebra-coalgebra duality in Brzozowski’s minimization algorithm. (English) Zbl 1288.68174 ACM Trans. Comput. Log. 15, No. 1, Article No. 3, 29 p. (2014). MSC: 68Q70 08A70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., ACM Trans. Comput. Log. 15, No. 1, Article No. 3, 29 p. (2014; Zbl 1288.68174) Full Text: DOI Link
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
Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra Deriving syntax and axioms for quantitative regular behaviours. (English) Zbl 1254.68129 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 146-162 (2009). MSC: 68Q45 68Q65 68Q70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 5710, 146--162 (2009; Zbl 1254.68129) Full Text: DOI