A Tour on Ecumenical Systems (Invited Talk)

Elane Pimentel, Luiz Carlos Pereira. A Tour on Ecumenical Systems (Invited Talk). In Paolo Baldan, Valeria de Paiva, editors, 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. Volume 270 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.