Copyright © 2006 Elsevier B.V. All rights reserved.
Confluence Thanks to Extensional Determinism
Available online 26 September 2006.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
A process is extensionally deterministic if, after any trace s and given any event a, it is either certain to accept or certain to refuse a (stably) after s. We show how several process algebras are capable of expressing this property and how they agree on the equivalence of deterministic processes. A number of important properties of processes P, including confluence, can be captured in terms of the determinism of some context C[P].
Keywords: determinism; confluence; process algebra; CCS; CSP






E-mail Article
Add to my Quick Links

Cited By in Scopus (0)





