Copertina

Conformance Games for Graded Semantics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Forster, Jonas, Schröder, Lutz, Wild, Paul
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science 68Q85 (Primary) F.3.1; F.3.2; F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2026)

Behavioural Conformances based on Lax Couplings
di: Wild, Paul, et al.
Pubblicazione: (2025)

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

Compositionality in Coalgebraic Trace Semantics
di: Jourde, Robin, et al.
Pubblicazione: (2026)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
di: Forster, Jonas, et al.
Pubblicazione: (2023)

An Expressive Trace Logic for Recursive Programs
di: Gurov, Dilian, et al.
Pubblicazione: (2024)

Infinitary Refinement Types for Temporal Properties in Scott Domains
di: Riba, Colin, et al.
Pubblicazione: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2024)

Strategies, model checking and branching-time properties in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Model checking strategy-controlled systems in rewriting logic
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Metalevel transformation of strategies
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Decidable Reversible Equivalences for Finite Petri Nets
di: Gorrieri, Roberto, et al.
Pubblicazione: (2025)

Separation Logic of Generic Resources via Sheafeology
di: van Starkenburg, Berend, et al.
Pubblicazione: (2025)

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

On Woolhouse's Cotton-Spinning Problem
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Graded Monads in the Semantics of Nominal Automata
di: Schulze, Hannes, et al.
Pubblicazione: (2025)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
di: Bisping, Benjamin, et al.
Pubblicazione: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
di: Wild, Paul, et al.
Pubblicazione: (2025)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
di: Forster, Jonas, et al.
Pubblicazione: (2026)

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
di: Laurent, Théo, et al.
Pubblicazione: (2023)

Semantics out of context: nominal absolute denotations for first-order logic and computation
di: Gabbay, Murdoch J.
Pubblicazione: (2013)

Genericity Through Stratification
di: Arrial, Victor, et al.
Pubblicazione: (2024)

AdapTT: Functoriality for Dependent Type Casts
di: Adjedj, Arthur, et al.
Pubblicazione: (2025)

What does it take to certify a conversion checker?
di: Lennon-Bertrand, Meven
Pubblicazione: (2025)

Reversible computations are computations
di: Aubert, Clément, et al.
Pubblicazione: (2025)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

Graded Monad Coalgebras for Continuous-Time Transition Systems
di: Di Lavore, Elena, et al.
Pubblicazione: (2026)

Node Replication: Theory And Practice
di: Kesner, Delia, et al.
Pubblicazione: (2022)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

A Graded Modal Type Theory for Pulse Schedules
di: Adams, Robin, et al.
Pubblicazione: (2025)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
di: Raphaëlle, Crubillé
Pubblicazione: (2026)

A Fibrational Perspective on Differential Linear Logic
di: Koleilat, Jad
Pubblicazione: (2026)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
di: Lago, Ugo Dal, et al.
Pubblicazione: (2026)

Relational Dualities and Bisimulation
di: Kozicki, Piotr, et al.
Pubblicazione: (2026)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
di: Ding, Sichen, et al.
Pubblicazione: (2026)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

A Complete Finitary Refinement Type System for Scott-Open Properties
di: Riba, Colin, et al.
Pubblicazione: (2026)