Concurrent testing of processes

Abstract

We develop a noninterleaving semantic theory of processes based on testing. We assume that all actions have a non-zero duration and the allowed tests take advantage of this assumption. The result is a semantic theory in which concurrency is differentiated from nondeterminism. We show that the semantic preorder based on these tests is preserved by so-caLled “stable” action refinement and may be characterised as the largest such preorder contained in the standard testing preorder.