Buchumschlag

Towards a Coq-verified Chain of Esterel Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Berry, Gérard, Rieg, Lionel
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Formal Languages and Automata Theory Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Finding Regular Herbrand Models for CHCs using Answer Set Programming
von: Maire, Gregoire, et al.
Veröffentlicht: (2025)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
von: Różowski, Wojciech, et al.
Veröffentlicht: (2026)

Parametrizing Reads-From Equivalence for Predictive Monitoring
von: Farzan, Azadeh, et al.
Veröffentlicht: (2026)

Weighted GKAT: Completeness and Complexity
von: Van Koevering, Spencer, et al.
Veröffentlicht: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

The Decision Problem for Regular First-Order Theories
von: Mathur, Umang, et al.
Veröffentlicht: (2024)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
von: Moreau, Vincent, et al.
Veröffentlicht: (2023)

SuperDP: Differential Privacy Refutation via Supermartingales
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2026)

Beyond Decisiveness of Infinite Markov Chains
von: Barbot, Benoît, et al.
Veröffentlicht: (2024)

How Concise are Chains of co-Büchi Automata?
von: Ehlers, Rüdiger
Veröffentlicht: (2026)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
von: Fatmi, Syyeda Zainab, et al.
Veröffentlicht: (2025)

Quantitative Semantics for Jumping Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2024)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
von: Heck, Linus, et al.
Veröffentlicht: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
von: Havlena, Vojtěch, et al.
Veröffentlicht: (2022)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
von: Amorim, Arthur, et al.
Veröffentlicht: (2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Positive First-order Logic on Words and Graphs
von: Kuperberg, Denis
Veröffentlicht: (2022)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Function spaces for orbit-finite sets
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Feasability of Learning Weighted Automata on a Semiring
von: Daviaud, Laure, et al.
Veröffentlicht: (2023)

Counting and Sampling Traces in Regular Languages
von: de Colnet, Alexis, et al.
Veröffentlicht: (2025)

Cypher is Turing-Complete: A Formal Proof via 2-Counter Machine Simulation
von: Halftermeyer, Pierre
Veröffentlicht: (2026)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
von: Banse, Adrien, et al.
Veröffentlicht: (2025)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
von: Figueira, Diego, et al.
Veröffentlicht: (2022)

A Session Type System for Asynchronous Unreliable Broadcast Communication
von: Kouzapas, Dimitrios, et al.
Veröffentlicht: (2019)

Online Monitoring of Metric Temporal Logic using Sequential Networks
von: Ulus, Dogan
Veröffentlicht: (2019)

Large Scale Geometries of Infinite Strings
von: Khoussainov, Bakhadyr, et al.
Veröffentlicht: (2019)

Synthesis of Computable Regular Functions of Infinite Words
von: Dave, V., et al.
Veröffentlicht: (2019)

A Dichotomy Theorem for Automatic Structures
von: Cuvelier, Antoine, et al.
Veröffentlicht: (2026)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

The Queue Automaton Revisited
von: Baeten, Jos C. M., et al.
Veröffentlicht: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

Simplifying LTL Model Checking Given Prior Knowledge
von: Duret-Lutz, Alexandre, et al.
Veröffentlicht: (2025)

Determinization of Min-Plus Weighted Automata is Decidable
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)