Truly Concurrent Process Algebra with Localities

09/10/2021
by   Yong Wang, et al.
0

The well-known process algebras, such as CCS, ACP and π-calculus, capture the interleaving concurrency based on bisimilarity semantics. We did some work on truly concurrent process algebras, such as CTC, APTC and π_tc, capture the true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. Truly concurrent process algebras are generalizations of the corresponding traditional process algebras. In this book, we introduce localities into truly concurrent process algebras, based on the work on process algebra with localities.

READ FULL TEXT
research
07/18/2021

Probabilistic Process Algebra for True Concurrency

The well-known process algebras, such as CCS, ACP and π-calculus, captur...
research
04/12/2021

Actors – A Process Algebra Based Approach

We model actors based on truly concurrent process algebra, and capture t...
research
03/03/2018

Communicating Concurrent Processes

Process algebra CSP only permits a process to engage in one event on a m...
research
08/24/2021

Truly Concurrent Pi-Calculi with Reversibility, Probabilism and Guards

The well-known process algebras, such as CCS, ACP and π-calculus, captur...
research
05/23/2021

Diagrammatic Polyhedral Algebra

We extend the theory of Interacting Hopf algebras with an order primitiv...
research
10/07/2008

The meaning of concurrent programs

The semantics of assignment and mutual exclusion in concurrent and multi...
research
05/03/2018

Reversible Truly Concurrent Process Algebra

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

Please sign up or login with your details

Forgot password? Click here to reset