Coalgebraic semantics for nominal automata

DOI10.1007/978-3-031-10736-8_3OpenAlexW4286598142MaRDI QIDQ2104476FDOQ2104476

Florian Frank, Stefan Milius, Henning Urbat

Publication date: 7 December 2022

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Structural induction and coinduction in a fibrational setting
• Universal coalgebra: A theory of systems
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Nominal sets. Names and symmetry in computer science
• Coalgebraic Bisimulation-Up-To
• Checking NFA equivalence with bisimulations up to congruence
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
• The Category-Theoretic Solution of Recursive Domain Equations
• Title not available (Why is that?)
• Generic Trace Semantics via Coinduction
• Lifting theorems for Kleisli categories
• Notions of computation and monads
• Title not available (Why is that?)
• Trace semantics via determinization
• Monads on symmetric monoidal closed categories
• Une théorie combinatoire des séries formelles
• A fixpoint theorem for complete categories
• Nominal Kleene Coalgebra
• Adjoint Lifting Theorems for Categories of Algebras
• Finite-memory automata
• Complete Iterativity for Algebras with Effects
• Runtime Verification Based on Register Automata
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
• Automata theory in nominal sets
• Generalizing determinization from automata to coalgebras
• Title not available (Why is that?)
• Coalgebraic characterizations of context-free languages
• A Coalgebraic View of ε-Transitions
• Introduction to coalgebra. Towards mathematics of states and observation
• A new foundation for finitary corecursion and iterative algebras
• Nominal Automata with Name Binding
• Context-free coalgebras
• A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
• Toward a Uniform Theory of Effectful State Machines
• Title not available (Why is that?)

Cited In (5)

• Coalgebras for Bisimulation of Weighted Automata over Semirings
• Coalgebraic Semantics of Heavy-Weighted Automata
• Title not available (Why is that?)
• Coalgebraic Automata Theory: Basic Results
• Symbolic and Asynchronous Semantics via Normalized Coalgebras

This page was built for publication: Coalgebraic semantics for nominal automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104476)