AI Chat AI Image Generator AI Video Text to Speech

Truly Concurrent Bisimilarities are Game Equivalent

06/27/2019

∙

by Yong Wang, et al.

∙

∙

We design games for truly concurrent bisimilarities, including strongly truly concurrent bisimilarities and branching truly concurrent bisimilarities, such as pomset bisimilarities, step bisimilarities, history-preserving bisimilarities and hereditary history-preserving bisimilarities.

research

∙ 08/15/2021

Truly Concurrent Calculi with Reversibility, Probabilism and Guards

The well-known process algebras, such as CCS, ACP and π-calculus, captur...

0 Yong Wang, et al. ∙

research

∙ 08/17/2020

Deterministic concurrent systems

We introduce deterministic concurrent systems as a subclass of concurren...

0 Samy Abbes, et al. ∙

research

∙ 09/07/2017

Enhancing KiWi - Scalable Concurrent Key-Value Map

We take a relatively fresh wait-free, concurrent sorted map called KiWi,...

0 Assaf Yifrach, et al. ∙

research

∙ 02/28/2022

Making Concurrency Functional

The article bridges between two major paradigms in computation, the func...

0 Glynn Winskel, et al. ∙

research

∙ 04/12/2019

Parity-Based Concurrent Error Detection Schemes for the ChaCha Stream Cipher

We propose two parity-based concurrent error detection schemes for the Q...

0 Viola Rieger, et al. ∙

research

∙ 06/08/2019

Algebra of Concurrent Games

We introduce parallelism into the basic algebra of games to model concur...

0 Yong Wang, et al. ∙

research

∙ 05/03/2018

Reversible Truly Concurrent Process Algebra

We design a reversible version of truly concurrent process algebra CTC w...

0 Yong Wang, et al. ∙