Abstract
Purchase PDF (3253 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (2)
Purchase PDF (441 K)
doi:10.1016/0304-3975(95)00166-2 
Copyright © 1996 Published by Elsevier Science B.V.
Regular paper
On the operational semantics of nondeterminism and divergence*1
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Received 29 August 1995;
Abstract
An operational model of nondeterministic processes coupled with a novel theory of divergence is presented. The operational model represents internal nondeterminism without using explicit internal transitions. Here the notion of internal state effectively replaces the familiar notion of internal transition, giving rise to an alternative operational view of processes: the weak process. Roughly, a weak process is a collection of stable internal states together with a set of transitions each of which is defined from an internal state to another weak process. Internal nondeterminism arises from such refinement of processes into multiple internal states.
A simple extension to the basic weak process model gives rise to an elaborate operational theory of divergence. According to this theory, the ability of a process to undertake an infinite internal computation which is pathological, or persistent, is distinguished from its ability to undertake an infinite internal computation which is not. Although applicable to process algebraic languages with an internal action construct, the resulting model is most suitable for supplying operational semantics to process algebras which express internal nondeterminism by an internal choice construct. The distinction between the two forms of divergence is in particular taken into account when the hiding construct of such a process algebra is assigned a weak process semantics.
