Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Neves, Renato
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An extended type system with lambda-typed lambda-expressions (extended version)
par: Weber, Matthias
Publié: (2018)

Repairing General Game Descriptions (extended version)
par: He, Yifan, et autres
Publié: (2025)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
par: Mangel, Éléonore, et autres
Publié: (2025)

Benchmarks for Parity Games (extended version)
par: Keiren, Jeroen J. A.
Publié: (2014)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
par: Heuvel, Bas van den
Publié: (2024)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
par: Waddoups, Nick, et autres
Publié: (2025)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
par: Budde, Carlos E., et autres
Publié: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
par: Dardinier, Thibault, et autres
Publié: (2023)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
par: Şakar, Ömer, et autres
Publié: (2026)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
par: Neves, Renato
Publié: (2025)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
par: D'Argenio, Pedro R., et autres
Publié: (2025)

Validity of contextual formulas (extended version)
par: Esparza, Javier, et autres
Publié: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
par: de Lima, Tiago, et autres
Publié: (2024)

A categorical account of composition methods in logic (extended version)
par: Jakl, Tomáš, et autres
Publié: (2024)

Fair Mutual Exclusion for N Processes (extended version)
par: Hafidi, Yousra, et autres
Publié: (2021)

A quantitative probabilistic relational Hoare logic
par: Avanzini, Martin, et autres
Publié: (2024)

Incompleteness theorems via Turing category
par: Savelyev, Yasha
Publié: (2024)

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
par: Przybocki, Benjamin, et autres
Publié: (2024)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

An Adequate While-Language for Stochastic Hybrid Computation
par: Neves, Renato, et autres
Publié: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Logics with probabilistic team semantics and the Boolean negation
par: Hannula, Miika, et autres
Publié: (2023)

DTMC Model Checking by Path Abstraction Revisited (extended version)
par: Hartmanns, Arnd, et autres
Publié: (2025)

Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
par: Fernandes, Vítor, et autres
Publié: (2024)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
par: Lopez-Miguel, Ignacio D., et autres
Publié: (2025)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
par: Budde, Carlos E., et autres
Publié: (2025)

Modulo quantifiers over functional vocabularies extending addition
par: Baskar, A., et autres
Publié: (2017)

On Presburger arithmetic extended with non-unary counting quantifiers
par: Habermehl, Peter, et autres
Publié: (2022)

Consistency of P-time event graphs is decidable in polynomial time (extended version)
par: Zorzenon, Davide, et autres
Publié: (2023)

Intuitionistic BV (Extended version)
par: Acclavio, Matteo, et autres
Publié: (2025)

A flexible specification approach for verifying total correctness of fine-grained concurrent modules
par: Fasse, Justus, et autres
Publié: (2023)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
par: Aceto, Luca, et autres
Publié: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
par: Asgeirsson, Dagur
Publié: (2023)

Complexity of some modal logics of density (extended version)
par: Balbiani, Philippe, et autres
Publié: (2025)

The syntactic side of autonomous categories enriched over generalised metric spaces
par: Dahlqvist, Fredrik, et autres
Publié: (2022)

A concise proof of Commoner's theorem
par: Jancar, Petr
Publié: (2024)

An implicit function theorem for the stream calculus
par: Boreale, Michele, et autres
Publié: (2023)