Copertina

Computation and Concurrency

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Wang, Yong
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Finitary Truly Concurrent Bisimulations
di: Wang, Yong
Pubblicazione: (2026)

Structural Operational Semantics for True Concurrency
di: Wang, Yong
Pubblicazione: (2026)

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

The Qualitative Collapse of Concurrent Games
di: Clairambault, Pierre
Pubblicazione: (2024)

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

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

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

Antichains for Concurrent Parameterized Games
di: Bertrand, Nathalie, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

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

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

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

Rational Capability in Concurrent Games
di: Li, Yinfeng, et al.
Pubblicazione: (2025)

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

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

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

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

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

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

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

Step Automata
di: Wang, Yong
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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