Truly Concurrent Process Algebra with Timing
Logic in Computer Science
2018-05-01 v2
Abstract
We extend truly concurrent process algebra APTC with timing related properties. Just like ACP with timing, APTC with timing also has four parts: discrete relative timing, discrete absolute timing, continuous relative timing and continuous absolute timing.
Keywords
Cite
@article{arxiv.1709.01217,
title = {Truly Concurrent Process Algebra with Timing},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1709.01217},
year = {2018}
}
Comments
111 pages, 1 figure, 74 tables. arXiv admin note: text overlap with arXiv:1611.09035