Generalizing the powerset construction, coalgebraically
From MaRDI portal
Publication:2908856
DOI10.4230/LIPICS.FSTTCS.2010.272zbMATH Open1245.68141MaRDI QIDQ2908856FDOQ2908856
Authors: Alexandra Silva, Filippo Bonchi, Marcello M. Bonsangue, Jan J. M. M. Rutten 
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_bf91.html
Recommendations
- Generalizing determinization from automata to coalgebras
- Coalgebraic Automata Theory: Basic Results
- Lifting adjunctions to coalgebras to (re)discover automata constructions
- Sound and complete axiomatizations of coalgebraic language equivalence
- A Coalgebraic Perspective on Minimization and Determinization
Cited In (28)
- Title not available (Why is that?)
- Towards the critical problem: On the coalgebraic relation between sets and multisets
- Final semantics for decorated traces
- Corecursion up-to via causal transformations
- Bisimulation and coinduction enhancements: a historical perspective
- Context-free coalgebras
- Title not available (Why is that?)
- Termination in convex sets of distributions
- Title not available (Why is that?)
- A (co)algebraic theory of succinct automata
- Powerset Residuated Algebras and Generalized Lambek Calculus
- The powerset operator on abstract interpretations
- Sound and complete axiomatizations of coalgebraic language equivalence
- Algebra-coalgebra duality in Brzozowski's minimization algorithm
- Generalizing determinization from automata to coalgebras
- Minimisation in logical form
- Initial algebras of terms with binding and algebraic structure
- Bialgebraic foundations for the operational semantics of string diagrams
- Title not available (Why is that?)
- Simplified coalgebraic trace equivalence
- Lifting adjunctions to coalgebras to (re)discover automata constructions
- Sound and complete axiomatization of trace semantics for probabilistic systems
- Trace semantics via determinization
- Graded semantics and graded logics for Eilenberg-Moore coalgebras
- Distribution bisimilarity via the power of convex algebras
- Product rules and distributive laws
- A general account of coinduction up-to
- Companions, codensity and causality
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)
