Buchumschlag

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Neves, Renato
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

Repairing General Game Descriptions (extended version)
von: He, Yifan, et al.
Veröffentlicht: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
von: Mangel, Éléonore, et al.
Veröffentlicht: (2025)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
von: Waddoups, Nick, et al.
Veröffentlicht: (2025)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
von: Dardinier, Thibault, et al.
Veröffentlicht: (2023)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
von: Neves, Renato
Veröffentlicht: (2025)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
von: D'Argenio, Pedro R., et al.
Veröffentlicht: (2025)

Validity of contextual formulas (extended version)
von: Esparza, Javier, et al.
Veröffentlicht: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
von: de Lima, Tiago, et al.
Veröffentlicht: (2024)

A categorical account of composition methods in logic (extended version)
von: Jakl, Tomáš, et al.
Veröffentlicht: (2024)

Fair Mutual Exclusion for N Processes (extended version)
von: Hafidi, Yousra, et al.
Veröffentlicht: (2021)

A quantitative probabilistic relational Hoare logic
von: Avanzini, Martin, et al.
Veröffentlicht: (2024)

Incompleteness theorems via Turing category
von: Savelyev, Yasha
Veröffentlicht: (2024)

A Cobham theorem for scalar multiplication
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2024)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2024)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

An Adequate While-Language for Stochastic Hybrid Computation
von: Neves, Renato, et al.
Veröffentlicht: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

DTMC Model Checking by Path Abstraction Revisited (extended version)
von: Hartmanns, Arnd, et al.
Veröffentlicht: (2025)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
von: Fernandes, Vítor, et al.
Veröffentlicht: (2024)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
von: Lopez-Miguel, Ignacio D., et al.
Veröffentlicht: (2025)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2025)

Modulo quantifiers over functional vocabularies extending addition
von: Baskar, A., et al.
Veröffentlicht: (2017)

On Presburger arithmetic extended with non-unary counting quantifiers
von: Habermehl, Peter, et al.
Veröffentlicht: (2022)

Consistency of P-time event graphs is decidable in polynomial time (extended version)
von: Zorzenon, Davide, et al.
Veröffentlicht: (2023)

Intuitionistic BV (Extended version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

A flexible specification approach for verifying total correctness of fine-grained concurrent modules
von: Fasse, Justus, et al.
Veröffentlicht: (2023)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
von: Asgeirsson, Dagur
Veröffentlicht: (2023)

Complexity of some modal logics of density (extended version)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

The syntactic side of autonomous categories enriched over generalised metric spaces
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2022)

A concise proof of Commoner's theorem
von: Jancar, Petr
Veröffentlicht: (2024)

An implicit function theorem for the stream calculus
von: Boreale, Michele, et al.
Veröffentlicht: (2023)