Truly Concurrent Process Algebra with Timing

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.

111 pages, 1 figure, 74 tables. arXiv admin note: text overlap with arXiv:1611.09035

References in corpus (3)

• Algebraic Laws for True Concurrency
• Reverse Bisimulations on Stable Configuration Structures
• A Calculus for True Concurrency