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

Volltext

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

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

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

Volltext

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

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

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

Volltext

Simulation-based matching of cloud applications von Bonchi, Filippo, Brogi, Antonio, Canciani, Andrea, Soldani, Jacopo

Volltext

Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure von Bonchi, Filippo, Milius, Stefan, Silva, Alexandra, Zanasi, Fabio

Volltext

Bisimilarity of open terms in stream GSOS von Bonchi, Filippo, van Bussel, Tom, Lee, Matias David, Rot, Jurriaan

Volltext

A Categorical Semantics of Signal Flow Graphs von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Volltext

Polyadic Soft Constraints von Bonchi, Filippo, Bussi, Laura, Gadducci, Fabio, Santini, Francesco

Volltext

A coalgebraic perspective on linear weighted automata von Bonchi, Filippo, Bonsangue, Marcello, Boreale, Michele, Rutten, Jan, Silva, Alexandra

Volltext

Checking NFA equivalence with bisimulations up to congruence von Bonchi, Filippo, Pous, Damien

Volltext

A General Theory of Barbs, Contexts, and Labels von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina

Volltext