Generalizing the powerset construction, coalgebraically
From MaRDI portal
Publication:2908856
DOI10.4230/LIPICS.FSTTCS.2010.272zbMATH Open1245.68141MaRDI QIDQ2908856FDOQ2908856
Filippo Bonchi, Alexandra Silva, Jan J. M. M. Rutten, Marcello M. Bonsangue
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_bf91.html
Cited In (25)
- Title not available (Why is that?)
- Towards the critical problem: On the coalgebraic relation between sets and multisets
- Corecursion up-to via causal transformations
- Bisimulation and coinduction enhancements: a historical perspective
- Algebra-coalgebra duality in brzozowski's minimization algorithm
- Context-free coalgebras
- Title not available (Why is that?)
- Initial Algebras of Terms with Binding and Algebraic Structure
- Title not available (Why is that?)
- Companions, Codensity and Causality
- A (co)algebraic theory of succinct automata
- Simplified Coalgebraic Trace Equivalence
- Powerset Residuated Algebras and Generalized Lambek Calculus
- Final Semantics for Decorated Traces
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
- The powerset operator on abstract interpretations
- Minimisation in logical form
- Title not available (Why is that?)
- Bialgebraic foundations for the operational semantics of string diagrams
- Title not available (Why is that?)
- Product Rules and Distributive Laws
- Termination in Convex Sets of Distributions
- Trace semantics via determinization
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- A general account of coinduction up-to
This page was built for publication: Generalizing the powerset construction, coalgebraically
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2908856)
