Convexity via Weak Distributive Laws von Bonchi, Filippo, Santamaria, Alessio

Volltext

Generalizing determinization from automata to coalgebras von Silva, Alexandra, Bonchi, Filippo, Bonsangue, Marcello, Rutten, Jan

Volltext

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination von Bonchi, Filippo, Sokolova, Ana, Vignudelli, Valeria

Volltext

Distribution Bisimilarity via the Power of Convex Algebras von Bonchi, Filippo, Silva, Alexandra, Sokolova, Ana

Volltext

Coalgebraic Behavioral Metrics von Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König

Volltext

Bialgebraic Semantics for Logic Programming von Bonchi, Filippo, Zanasi, Fabio

Volltext

Algebra-coalgebra duality in brzozowski's minimization algorithm von Bonchi, Filippo, Bonsangue, Marcello M., Hansen, Helle H., Panangaden, Prakash, Rutten, Jan J. M. M., Silva, Alexandra

Volltext

A Coalgebraic Perspective on Minimization and Determinization von Adámek, Jiří, Bonchi, Filippo, Hülsbusch, Mathias, König, Barbara, Milius, Stefan, Silva, Alexandra

Volltext

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Volltext

Interacting Hopf algebras von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Volltext

The Calculus of Signal Flow Diagrams I: Linear relations on streams von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Volltext

Deconstructing the Calculus of Relations with Tape Diagrams von Bonchi, Filippo, Di Giorgio, Alessandro, Santamaria, Alessio

Volltext

Symbolic and Asynchronous Semantics via Normalized Coalgebras von Bonchi, Filippo, Montanari, Ugo

Volltext

Bialgebraic foundations for the operational semantics of string diagrams von Bonchi, Filippo, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

Volltext

String diagram rewrite theory II: Rewriting with symmetric monoidal structure von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Volltext

A general account of coinduction up-to von Bonchi, Filippo, Petrişan, Daniela, Pous, Damien, Rot, Jurriaan

Volltext

Up-to techniques for behavioural metrics via fibrations von Bonchi, Filippo, König, Barbara, Petrişan, Daniela

Volltext

Diagrammatic algebra: from linear to concurrent systems von Bonchi, Filippo, Holland, Joshua, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

Volltext

Reducing Weak to Strong Bisimilarity in CCP von Aristizábal, Andrés, Bonchi, Filippo, Pino, Luis, Valencia, Frank

Volltext

Deconstructing Lawvere with distributive laws von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Volltext