:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Bocchi, Laura, Lange, Julien, Thompson, Simon, Voinea, A. Laura
Formato:	Preprint
Publicado:	2022
Materias:	Formal Languages and Automata Theory
Acceso en línea:	https://arxiv.org/abs/2210.17508
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Mixed Choice in Asynchronous Multiparty Session Types
por: Bocchi, Laura, et al.
Publicado: (2026)

A Session Type System for Asynchronous Unreliable Broadcast Communication
por: Kouzapas, Dimitrios, et al.
Publicado: (2019)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
por: Briones, Laura Brandán, et al.
Publicado: (2025)

Visibly Pushdown Languages in Groups
por: Ciobanu, Laura, et al.
Publicado: (2026)

Nominal Automata with Name Deallocation
por: Prucker, Simon, et al.
Publicado: (2026)

Automata for the commutative closure of regular sets
por: Becher, Verónica, et al.
Publicado: (2025)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
por: Kim, Moon, et al.
Publicado: (2025)

Scalable Tree-based Register Automata Learning
por: Dierl, Simon, et al.
Publicado: (2024)

Corrections to A Menagerie of Timed Automata
por: Keiren, Jeroen J. A., et al.
Publicado: (2016)

Measure Many Quantum Finite Automata on Infinite Words
por: Midya, Abhisek, et al.
Publicado: (2026)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
por: Leys, Tim, et al.
Publicado: (2024)

Quantum finite automata and linear context-free languages: a decidable problem
por: Bertoni, A., et al.
Publicado: (2013)

A Close Analysis of the Subset Construction
por: Baburin, Ivan, et al.
Publicado: (2024)

A Unifying Approach to Picture Automata
por: Meeres, Yvo Ad, et al.
Publicado: (2025)

A Variety of Request-Response Specifications
por: Aiba, Daichi, et al.
Publicado: (2025)

A Factorization Theorem for Forest Algebras
por: Almagor, Shaull, et al.
Publicado: (2026)

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

Safety and Liveness of Quantitative Properties and Automata
por: Boker, Udi, et al.
Publicado: (2023)

Quantitative Language Automata
por: Henzinger, Thomas A., et al.
Publicado: (2025)

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

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

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

FocusE: A semantic extension of FocusST
por: Spichkova, Maria
Publicado: (2025)

A Regular and Complete Notion of Delay for Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2022)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

A Linear-time Simulation of Deterministic $d$-Limited Automata
por: Rubtsov, Alexander
Publicado: (2023)

A pumping-like lemma for languages over infinite alphabets
por: Danieli, Yoav
Publicado: (2025)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
por: De Maria, Elisabetta, et al.
Publicado: (2026)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
por: Schwartz, Daniel G.
Publicado: (2025)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
por: Dotzel, Myra, et al.
Publicado: (2023)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
por: Almagor, Shaull, et al.
Publicado: (2026)

A short survey around the pumping lemma for context-free languages
por: Gullà, Gabriele
Publicado: (2024)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
por: Akshay, S, et al.
Publicado: (2023)

A quadratic lower bound for 2DFAs against one-way liveness
por: Adeogun, Kehinde, et al.
Publicado: (2026)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
por: Bergsträßer, Pascal, et al.
Publicado: (2024)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
por: Schalk, Patrizia, et al.
Publicado: (2025)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
por: Manini, Andrea, et al.
Publicado: (2026)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
por: De Rosa, Mattia, et al.
Publicado: (2025)

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

Correctness Notions for Petri Nets with Identifiers
por: van der Werf, Jan Martijn E. M., et al.
Publicado: (2022)