Algebraic Laws for True Concurrency
Logic in Computer Science
2020-02-18 v9
Abstract
We find the algebraic laws for true concurrency. Eventually, we establish a whole axiomatization for true concurrency called APTC (Algebra for Parallelism in True Concurrency). The theory APTC has four modules: BATC (Basic Algebra for True Concurrency), APTC (Algebra for Parallelism in True Concurrency), recursion and abstraction. And also, we show the applications and extensions of APTC.
Cite
@article{arxiv.1611.09035,
title = {Algebraic Laws for True Concurrency},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1611.09035},
year = {2020}
}
Comments
110 pages, 3 figures, 48 tables