Testing Theory of Truly Concurrent Processes
For researchers in concurrency theory, this work provides a foundational testing semantics for truly concurrent processes, but it is an incremental extension of existing testing theory to a new setting.
This paper extends Hennessy's testing theory to truly concurrent processes, establishing operational, axiomatic, and denotational semantics for a truly concurrent process algebra that bridges true concurrency (e.g., Petri nets) and interleaving concurrency (e.g., CCS).
A process is able to execute a set of actions with a predefined manner, while a truly concurrent process executes this set of actions with a manner with the flavour of true concurrency. The so-called truly concurrent process algebras bridge the true concurrency (such as Petri nets, event structures, etc), and the interleaving concurrency (such as CCS, CSP, ACP, etc). In this paper, we give truly concurrent processes testing semantics followed by Hennessy's great work, which inherits the trinity of operational semantics, axiomatic semantics and denotational semantics.