Sciweavers

Share
ENTCS
2006

Confluence Thanks to Extensional Determinism

9 years 9 months ago
Confluence Thanks to Extensional Determinism
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]. Key words: determinism, confluence, process algebra, CCS, CSP
A. W. Roscoe
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors A. W. Roscoe
Comments (0)
books