Coalgebraic semantics for nominal automata
From MaRDI portal
Publication:2104476
DOI10.1007/978-3-031-10736-8_3OpenAlexW4286598142MaRDI QIDQ2104476
Florian Frank, Stefan Milius, Henning Urbat
Publication date: 7 December 2022
Full work available at URL: https://arxiv.org/abs/2202.06546
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
- Une théorie combinatoire des séries formelles
- Structural induction and coinduction in a fibrational setting
- Finite-memory automata
- Universal coalgebra: A theory of systems
- A new foundation for finitary corecursion and iterative algebras
- Trace semantics via determinization
- Context-free coalgebras
- A fixpoint theorem for complete categories
- Monads on symmetric monoidal closed categories
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
- Introduction to Coalgebra
- Coalgebraic Characterizations of Context-Free Languages
- A Coalgebraic View of ε-Transitions
- Nominal Sets
- Automata theory in nominal sets
- Complete Iterativity for Algebras with Effects
- Coalgebraic Bisimulation-Up-To
- Checking NFA equivalence with bisimulations up to congruence
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
- Nominal Automata with Name Binding
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
- Nominal Kleene Coalgebra
- The Category-Theoretic Solution of Recursive Domain Equations
- Adjoint Lifting Theorems for Categories of Algebras
- Generalizing determinization from automata to coalgebras
- Toward a Uniform Theory of Effectful State Machines
- Runtime Verification Based on Register Automata
- Generic Trace Semantics via Coinduction
- Lifting theorems for Kleisli categories
This page was built for publication: Coalgebraic semantics for nominal automata
