Cover Image

Kamp Theorem for Pomset Languages of Higher Dimensional Automata

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Clement, Emily, Erlich, Enzo, Ledent, Jérémy
Format:	Preprint
Published:	2024
Subjects:	Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
by: Erlich, Enzo, et al.
Published: (2026)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2025)

Presenting Interval Pomsets with Interfaces
by: Amrane, Amazigh, et al.
Published: (2024)

Myhill-Nerode Theorem for Higher-Dimensional Automata
by: Fahrenberg, Uli, et al.
Published: (2022)

History-deterministic Parikh Automata
by: Erlich, Enzo, et al.
Published: (2022)

Kleene Theorem for Higher-Dimensional Automata
by: Fahrenberg, Uli, et al.
Published: (2022)

Forgetting Event Order in Higher-Dimensional Automata
by: Zouari, Safa
Published: (2026)

Higher-Dimensional Automata : Extension to Infinite Tracks
by: Passemard, Luc, et al.
Published: (2025)

Closure and Decision Properties for Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2023)

Higher-Dimensional Timed Automata for Real-Time Concurrency
by: Amrane, Amazigh, et al.
Published: (2024)

Interpreted Higher-Dimensional Automata for Concurrent Discrete-Event Control
by: Bellier, Dylan, et al.
Published: (2026)

Variants of Higher-Dimensional Automata
by: Bazille, Hugo, et al.
Published: (2026)

Logic and Languages of Higher-Dimensional Automata
by: Amrane, Amazigh, et al.
Published: (2024)

Constrained Multi-Tildes: Derived Term and Position Automata
by: Attou, Samira, et al.
Published: (2024)

Active Learning Techniques for Pomset Recognizers
by: Pommellet, Adrien, et al.
Published: (2025)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
by: Lehtinen, Karoliina, et al.
Published: (2025)

Quantitative Language Automata
by: Henzinger, Thomas A., et al.
Published: (2025)

Bisimulations and Logics for Higher-Dimensional Automata
by: Zouari, Safa, et al.
Published: (2024)

Mathematical Approach in Automata and Automata Association
by: Maciel, Sergio Henrique
Published: (2020)

Greybox Learning of Languages Recognizable by Event-Recording Automata
by: Majumdar, Anirban, et al.
Published: (2024)

On Shuffling and Splitting Automata
by: Cunningham, Ignacio Mollo
Published: (2024)

Explorable Parity Automata
by: Hazard, Emile, et al.
Published: (2024)

Automata on Graph Alphabets
by: Bazille, Hugo, et al.
Published: (2026)

Asynchronism in Cellular Automata
by: Gautam, Virendra Kumar
Published: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
by: Mazowiecki, Filip, et al.
Published: (2025)

Determinism in Multi-Soliton Automata
by: Bordihn, Henning, et al.
Published: (2024)

Localising Stochasticity in Weighted Automata
by: Agarwal, Smayan, et al.
Published: (2026)

Saturation Problems for Families of Automata
by: Bohn, León, et al.
Published: (2025)

Nominal Automata with Name Deallocation
by: Prucker, Simon, et al.
Published: (2026)

Simulations for Event-Clock Automata
by: Akshay, S, et al.
Published: (2022)

Finite Automata for Efficient Graph Recognition
by: Drewes, Frank, et al.
Published: (2024)

QuAK: Quantitative Automata Kit
by: Chalupa, Marek, et al.
Published: (2024)

Classifying Words with 3-sort Automata
by: Jastrząb, Tomasz, et al.
Published: (2024)

Query Learning of Advice and Nominal Automata
by: Zhou, Kevin
Published: (2024)

Global One-Counter Tree Automata
by: Herrmann, Luisa, et al.
Published: (2024)

Non-Global Parikh Tree Automata
by: Herrmann, Luisa, et al.
Published: (2024)

Repetitive Finite Automata With Translucent Letters
by: Mráz, František, et al.
Published: (2024)

Completely Reachable Almost Group Automata
by: Torres, David Fernando Casas
Published: (2024)

Universality Frontier for Asynchronous Cellular Automata
by: Baburin, Ivan, et al.
Published: (2025)

History-Deterministic Büchi Automata are Succinct
by: Casares, Antonio, et al.
Published: (2026)