Relating conflict-free stable transition and event models via redex families☆
Under an Elsevier user license
open archive
Keywords
Abstract reduction systems
Redex families
Event structures
Distributive domains
Cited by (0)
- ☆
Part of this work was supported by the Engineering and Physical Sciences Research Council of Great Britain under grant GR/H 41300.
Copyright © 2002 Elsevier Science B.V. All rights reserved.