:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wang, Yong
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2409.02595
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Structural Operational Semantics for True Concurrency
von: Wang, Yong
Veröffentlicht: (2026)

On Propositional Dynamic Logic and Concurrency
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

The Qualitative Collapse of Concurrent Games
von: Clairambault, Pierre
Veröffentlicht: (2024)

Concurrent Strategies on Games with Algebras
von: Huriot-Tattegrain, Sacha, et al.
Veröffentlicht: (2024)

Antichains for Concurrent Parameterized Games
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
von: Cecilia, Gabriele
Veröffentlicht: (2025)

Generalized Security-Preserving Refinement for Concurrent Systems
von: Sun, Huan, et al.
Veröffentlicht: (2025)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
von: Bortin, Maksym
Veröffentlicht: (2020)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

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

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
von: Clairambault, Pierre, et al.
Veröffentlicht: (2023)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
von: Cesco, Arnaldo, et al.
Veröffentlicht: (2021)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
von: Nemati, Hamed, et al.
Veröffentlicht: (2025)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Rational Capability in Concurrent Games
von: Li, Yinfeng, et al.
Veröffentlicht: (2025)

Bridging Computational Notions of Depth
von: Bienvenu, Laurent, et al.
Veröffentlicht: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

A Lazy, Concurrent Convertibility Checker
von: Courant, Nathanaëlle, et al.
Veröffentlicht: (2025)

Towards Concurrent Quantitative Separation Logic
von: Fesefeldt, Ira, et al.
Veröffentlicht: (2022)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
von: Rajasekaran, Senthil, et al.
Veröffentlicht: (2025)

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

A Truly Concurrent Semantics for Reversible CCS
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

Meta-Mathematics of Computational Complexity Theory
von: Oliveira, Igor C.
Veröffentlicht: (2025)

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

Compositional Verification in Concurrent Separation Logic with Permissions Regions
von: Le, Quang Loc
Veröffentlicht: (2025)

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
von: Paquet, Hugo, et al.
Veröffentlicht: (2023)

Proceedings 17th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2024)

Proceedings 18th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

Step Automata
von: Wang, Yong
Veröffentlicht: (2026)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
von: Timany, Amin, et al.
Veröffentlicht: (2021)

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

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)