Coalgebraic semantics for nominal automata
type: Item
instance of: scholarly article
title: Coalgebraic semantics for nominal automata
DOI: 10.1007/978-3-031-10736-8_3
author: Florian Frank
author: Stefan Milius
author: Henning Urbat
publication date: 2022-12-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/2202.06546
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 7628066
MaRDI profile type: Publication
OpenAlex ID: W4286598142
cites work: Automata theory in nominal sets
cites work: Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
cites work: Checking NFA equivalence with bisimulations up to congruence
cites work: Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
cites work: A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
cites work: Q5875398
cites work: Q3138538
cites work: Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Toward a Uniform Theory of Effectful State Machines
cites work: Runtime Verification Based on Register Automata
cites work: Generic Trace Semantics via Coinduction
cites work: Structural induction and coinduction in a fibrational setting
cites work: Introduction to coalgebra. Towards mathematics of states and observation
cites work: Trace semantics via determinization
cites work: Adjoint Lifting Theorems for Categories of Algebras
cites work: Une théorie combinatoire des séries formelles
cites work: Q3752561
cites work: Finite-memory automata
cites work: Monads on symmetric monoidal closed categories
cites work: Nominal Kleene Coalgebra
cites work: A fixpoint theorem for complete categories
cites work: Complete Iterativity for Algebras with Effects
cites work: A new foundation for finitary corecursion and iterative algebras
cites work: Notions of computation and monads
cites work: Lifting theorems for Kleisli categories
cites work: Nominal sets. Names and symmetry in computer science
cites work: Coalgebraic Bisimulation-Up-To
cites work: Q4251915
cites work: Universal coalgebra: A theory of systems
cites work: Nominal Automata with Name Binding
cites work: Generalizing determinization from automata to coalgebras
cites work: A Coalgebraic View of ε-Transitions
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Coalgebraic characterizations of context-free languages
cites work: Context-free coalgebras
description: scientific article; zbMATH DE number 7628066