Imagen de Portada

Presenting Interval Pomsets with Interfaces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Amrane, Amazigh, Bazille, Hugo, Clement, Emily, Fahrenberg, Uli, Ziemiański, Krzysztof
Formato:	Preprint
Publicado:	2024
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Automata on Graph Alphabets
por: Bazille, Hugo, et al.
Publicado: (2026)

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

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

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

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
por: Clement, Emily, et al.
Publicado: (2024)

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

Information-flow Interfaces and Security Lattices
por: Bartocci, Ezio, et al.
Publicado: (2024)

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

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
por: Shoudai, Takayoshi, et al.
Publicado: (2026)

Characterizing normality via automata and random matrix products
por: Bienvenu, Laurent, et al.
Publicado: (2026)

Linear Matching of JavaScript Regular Expressions
por: Barrière, Aurèle, et al.
Publicado: (2023)

Presentation of monoids generated by a projection and an involution
por: Caron, Pascal, et al.
Publicado: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
por: Paul, Abhijit
Publicado: (2025)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
por: Bienvenu, Laurent, et al.
Publicado: (2025)

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

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
por: Akshay, S., et al.
Publicado: (2024)

A Formal Approach for Tuning Stochastic Oscillators
por: Ballarini, Paolo, et al.
Publicado: (2024)

A Tree Sampler for Bounded Context-Free Languages
por: Considine, Breandan
Publicado: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
por: Hausmann, Daniel, et al.
Publicado: (2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
por: Acharya, Rohan, et al.
Publicado: (2024)

Characterization of Isometric Words based on Swap and Mismatch Distance
por: Anselmo, M., et al.
Publicado: (2024)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
por: Pert, Charles, et al.
Publicado: (2024)

Deterministic Parikh automata on infinite words
por: Grobler, Mario, et al.
Publicado: (2024)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
por: Raskin, Jean-François, et al.
Publicado: (2024)

Two-Way One-Counter Nets Revisited
por: Almagor, Shaull, et al.
Publicado: (2024)

5' -> 3' Watson-Crick Automata accepting Necklaces
por: Nagy, Benedek
Publicado: (2024)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
por: Bizière, Clotilde, et al.
Publicado: (2024)

The complexity of separability for semilinear sets and Parikh automata
por: Collins, Elias Rojas, et al.
Publicado: (2024)

QuAK: Quantitative Automata Kit
por: Chalupa, Marek, et al.
Publicado: (2024)

Development of parallel programs on shared data-structures -- Revised version
por: Stølen, Ketil
Publicado: (2024)

Exact descriptional complexity of determinization of input-driven pushdown automata
por: Martynova, Olga
Publicado: (2024)

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
por: Aristote, Quentin
Publicado: (2024)

Extended time Petri nets
por: Radom, Marcin, et al.
Publicado: (2024)