Cover Image

Finitary Truly Concurrent Bisimulations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wang, Yong
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
by: de Frutos-Escrig, David, et al.
Published: (2024)

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

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

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

Computation and Concurrency
by: Wang, Yong
Published: (2024)

Lowerbounds for Bisimulation by Partition Refinement
by: Groote, Jan Friso, et al.
Published: (2022)

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

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

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
by: Alrahman, Yehia Abd, et al.
Published: (2025)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
by: Endo, Ryunosuke, et al.
Published: (2025)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
by: Zouari, Safa, et al.
Published: (2024)

Bisimulation for Feller-Dynkin Processes
by: Chen, Linan, et al.
Published: (2019)

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
by: Klumpp, Dominik, et al.
Published: (2024)

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

Positive Hennessy-Milner Logic for Branching Bisimulation
by: Geuvers, Herman, et al.
Published: (2022)

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

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

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

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

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman
by: de Rezende, Susanna F., et al.
Published: (2024)

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

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

Concurrent Strategies on Games with Algebras
by: Huriot-Tattegrain, Sacha, 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)

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

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

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

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