Categorical Büchi and parity conditions via alternating fixed points of functors

DOI10.1007/978-3-030-00389-0_12OpenAlexW2963615882MaRDI QIDQ1798796

Natsuki Urabe, Ichiro Hasuo

Publication date: 23 October 2018

Full work available at URL: https://arxiv.org/abs/1803.06811

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Unnamed Item ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamental properties of infinite trees
• Least fixed point of a functor
• Completely iterative algebras and completely iterative monads
• Categorical Büchi and parity conditions via alternating fixed points of functors
• Introduction to Coalgebra
• Stream Automata Are Coalgebras
• Representations of Stream Processors Using Nested Fixed Points
• Coalgebraic Infinite Traces and Kleisli Simulations
• Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
• Generic Trace Semantics via Coinduction
• Algebra and Coalgebra in Computer Science
• Lifting theorems for Kleisli categories
• Rudiments of \(\mu\)-calculus

This page was built for publication: Categorical Büchi and parity conditions via alternating fixed points of functors