Buchumschlag

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Heuvel, Bas van den
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

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2021)

Comparing Session Type Systems derived from Linear Logic
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Information Flow Control in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

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)

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

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

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

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
von: Neves, Renato
Veröffentlicht: (2024)

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)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
von: Budde, Carlos E., 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)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
von: Pears, Jonah, et al.
Veröffentlicht: (2024)

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

Unifying Asynchronous Logics for Hyperproperties
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2024)

Tutorial: Designing Distributed Software in mCRL2
von: Groote, Jan Friso, et al.
Veröffentlicht: (2021)

Asynchronous Multiparty Sessions with Mixed Choice
von: Barbanera, Franco, et al.
Veröffentlicht: (2026)

On Asynchronous Multiparty Session Types for Federated Learning
von: Prokić, Ivan, et al.
Veröffentlicht: (2025)

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
von: Spronck, Myrthe, et al.
Veröffentlicht: (2024)

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
von: Kontinen, Juha, et al.
Veröffentlicht: (2024)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

Constructing (Co)inductive Types via Large Sizes
von: Laarakker, Bastiaan, et al.
Veröffentlicht: (2026)

DTMC Model Checking by Path Abstraction Revisited (extended version)
von: Hartmanns, Arnd, 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)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

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)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
von: Ye, Kangfeng, et al.
Veröffentlicht: (2025)

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2026)

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)