Combining Weak Distributive Laws: Application to Up-To Techniques

Alexandre Goy, Daniela Petrişan

Type: Preprint

Publication Date: 2020-01-01

Citations: 3

DOI: https://doi.org/10.48550/arxiv.2010.00811

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Coalgebraic Determinization of Alternating Automata.	2018	Meven Bertrand Jurriaan Rot
+	Coalgebraic Determinization of Alternating Automata	2018	Meven Bertrand Jurriaan Rot
+	The Power of Convex Algebras	2017	Filippo Bonchi Alexandra Silva Ana Sokolova
+	The Power of Convex Algebras	2017	Filippo Bonchi Alexandra Silva Ana Sokolova
+	Coalgebraic Weak Bisimulation from Recursive Equations over Monads	2014	S. A. Goncharov Dirk Pattinson
+	Distribution Bisimilarity via the Power of Convex Algebras.	2017	Filippo Bonchi Alexandra Silva Ana Sokolova
+ PDF Chat	Probability and Angelic Nondeterminism with Multiset Semantics	2024	S.A. Ong Shengqiang Ma Dexter Kozen
+ PDF Chat	Distribution Bisimilarity via the Power of Convex Algebras	2021	Filippo Bonchi Alexandra Silva Ana Sokolova
+ PDF Chat	Generalizing determinization from automata to coalgebras	2013	Alexandra Silva Filippo Bonchi Marcello Bonsangue Jan Rutten
+	Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time	2012	Holger Hermanns Andrea Turrini
+	Companions, Causality and Codensity	2017	Damien Pous Jurriaan Rot
+ PDF Chat	Composing Codensity Bisimulations	2024	Mayuko Kori Kazuki Watanabe Jurriaan Rot Shin-ya Katsumata
+ PDF Chat	Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations	2024	David de Frutos Escrig Miguel Palomino Ignacio Fábregas
+	Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time	2012	Holger Hermanns Andrea Turrini
+ PDF Chat	Notions of Monad Strength	2013	Philip S. Mulry
+ PDF Chat	Coalgebraic Weak Bisimulation from Recursive Equations over Monads	2014	Sergey Goncharov Dirk Pattinson
+	Compositional semantics for new paradigms: probabilistic, hybrid and beyond	2018	Fredrik Dahlqvist Renato Neves
+	A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism	2020	Reynald Affeldt Jacques Garrigue David Nowak Takafumi Saikawa
+ PDF Chat	Weak bisimulation for coalgebras over order enriched monads	2015	Tomasz Brengos
+ PDF Chat	Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states	2014	Johann Schuster Markus Siegle

Works That Cite This (3)

Action	Title	Year	Authors
+ PDF Chat	Combining Semilattices and Semimodules	2021	Filippo Bonchi Alessio Santamaria
+ PDF Chat	Combining Semilattices and Semimodules	2021	Alessio Santamaria
+ PDF Chat	Convexity via Weak Distributive Laws	2022	Filippo Bonchi Alessio Santamaria

Works Cited by This (9)

Action	Title	Year	Authors
+ PDF Chat	The weak theory of monads	2010	Gabriella Böhm
+ PDF Chat	Coinduction up-to in a fibrational setting	2014	Filippo Bonchi Daniela Petrişan Damien Pous Jurriaan Rot
+ PDF Chat	Presenting Distributive Laws	2013	Marcello Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot
+	Coalgebraic Determinization of Alternating Automata.	2018	Meven Bertrand Jurriaan Rot
+	Iterated Covariant Powerset is not a Monad	2018	Bartek Klin Julian Salamanca
+ PDF Chat	Iterated distributive laws	2011	Eugenia Cheng
+	The Power of Convex Algebras	2017	Filippo Bonchi Alexandra Silva Ana Sokolova
+ PDF Chat	No-Go Theorems for Distributive Laws	2019	Maaike Zwart Dan Marsden
+ PDF Chat	The Vietoris Monad and Weak Distributive Laws	2019	Richard Garner