带时序的真并发进程代数
计算机科学中的逻辑
2018-05-01 v2
摘要
我们将真并发进程代数 APTC 扩展以包含时序相关属性。正如带时序的 ACP，带时序的 APTC 同样包含四个部分：离散相对时序、离散绝对时序、连续相对时序与连续绝对时序。
引用
@article{arxiv.1709.01217,
title = {Truly Concurrent Process Algebra with Timing},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1709.01217},
year = {2018}
}
备注
111 pages, 1 figure, 74 tables. arXiv admin note: text overlap with arXiv:1611.09035