:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wang, Yong
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2409.02595
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

Structural Operational Semantics for True Concurrency
by: Wang, Yong
Published: (2026)

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

The Qualitative Collapse of Concurrent Games
by: Clairambault, Pierre
Published: (2024)

Concurrent Strategies on Games with Algebras
by: Huriot-Tattegrain, Sacha, et al.
Published: (2024)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

Generalized Security-Preserving Refinement for Concurrent Systems
by: Sun, Huan, et al.
Published: (2025)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
by: Bortin, Maksym
Published: (2020)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
by: Olarte, Carlos, et al.
Published: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
by: Heuvel, Bas van den, et al.
Published: (2021)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
by: Clairambault, Pierre, et al.
Published: (2023)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
by: Cesco, Arnaldo, et al.
Published: (2021)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
by: Nemati, Hamed, et al.
Published: (2025)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

Rational Capability in Concurrent Games
by: Li, Yinfeng, et al.
Published: (2025)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)

A Lazy, Concurrent Convertibility Checker
by: Courant, Nathanaëlle, et al.
Published: (2025)

Towards Concurrent Quantitative Separation Logic
by: Fesefeldt, Ira, et al.
Published: (2022)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
by: Rajasekaran, Senthil, et al.
Published: (2025)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

A Truly Concurrent Semantics for Reversible CCS
by: Melgratti, Hernán, et al.
Published: (2023)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
by: Le, Quang Loc
Published: (2025)

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
by: Paquet, Hugo, et al.
Published: (2023)

Proceedings 17th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2024)

Proceedings 18th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
by: Zilberstein, Noam, et al.
Published: (2024)

Step Automata
by: Wang, Yong
Published: (2026)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
by: Derakhshan, Farzaneh, et al.
Published: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
by: Timany, Amin, et al.
Published: (2021)

An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
by: Neves, Renato
Published: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
by: Casetta, Richard, et al.
Published: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
by: Sulzmann, Martin
Published: (2026)