The following pages link to Filippo Bonchi (Q308153):
Displaying 50 items.
- Interacting Hopf algebras (Q308156) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- A general account of coinduction up-to (Q523132) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Bisimilarity of open terms in stream GSOS (Q2093149) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Full Abstraction for Signal Flow Graphs (Q2819836) (← links)
- Saturated Semantics for Coalgebraic Logic Programming (Q2848941) (← links)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- A Coalgebraic Theory of Reactive Systems (Q2870200) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- Brzozowski’s Algorithm (Co)Algebraically (Q2897941) (← links)
- (Q2908856) (← links)
- Checking NFA equivalence with bisimulations up to congruence (Q2931822) (← links)
- Brzozowski’s and Up-To Algorithms for Must Testing (Q2937778) (← links)
- A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice (Q2938173) (← links)
- How to Kill Epsilons with a Dagger (Q2942775) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- A coalgebraic view on decorated traces (Q2973240) (← links)
- Behavioral Metrics via Functor Lifting (Q2978531) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Deriving Labels and Bisimilarity for Concurrent Constraint Programming (Q3000605) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Encoding Asynchronous Interactions Using Open Petri Nets (Q3184668) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- A Categorical Semantics of Signal Flow Graphs (Q3190134) (← links)
- Up-To Techniques for Weighted Systems (Q3303913) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- A Behavioural Congruence for Web Services (Q3508530) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Coalgebraic Models for Reactive Systems (Q3525649) (← links)
- Parallel and Sequential Independence for Borrowed Contexts (Q3540401) (← links)
- Process Bisimulation Via a Graphical Encoding (Q3541958) (← links)
- (Q3601413) (← links)
- Minimization Algorithm for Symbolic Bisimilarity (Q3617705) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- A Net-based Approach to Web Services Publication and Replaceability (Q3647365) (← links)
- Coinduction up-to in a fibrational setting (Q4635603) (← links)
