4 citations · 11 across the 10 of their papers we have counts for
8 papers · 1 filter
Graded Monad Coalgebras for Continuous-Time Transition Systems
Elena Di Lavore, Jonas Forster, Mario Román
Functor coalgebras capture a wide range of transition systems that must however evolve in discrete steps. We introduce graded coalgebras of graded monads and propose them to model…
A Diagrammatic Basis for Computer Programming
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
Tape diagrams provide a convenient graphical notation for arrows of rig categories, i.e., categories equipped with two monoidal products, and . In this work, we i…
A Coalgebraic Model of Quantum Bisimulation
Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno +1
Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprising…
Order in Partial Markov Categories
Elena Di Lavore, Mario Román, Paweł Sobociński +1
Partial Markov categories are a recent framework for categorical probability theory that provide an abstract account of partial probabilistic computation with updating semantics. I…
Tape Diagrams for Monoidal Monads
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio +1
Tape diagrams provide a graphical representation for arrows of rig categories, namely categories equipped with two monoidal structures, and , where dist…
A Diagrammatic Algebra for Program Logics
Filippo Bonchi, Alessandro Di Giorgio, Elena Di Lavore
Tape diagrams provide a convenient notation for arrows of rig categories, i.e., categories equipped with two monoidal products, and , where distributes…
Effectful Mealy Machines
Filippo Bonchi, Elena Di Lavore, Mario Román
Effectful Mealy machines, which we introduce, are a generalization of Mealy machines with global effects determined by an effectful triple. We provide semantics of effectful Mealy…
Monoidal Streams for Dataflow Programming
Elena Di Lavore, Giovanni de Felice, Mario Román
We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure…