A congruence rule format for name-passing process calculi
Under an Elsevier user license
open archive
Cited by (0)
- 1
Research partially supported by an EPSRC Advanced Research Fellowship.
- 2
Research partially supported by EPSRC Grant GR/T22049/01.
Copyright © 2008 Elsevier Inc. All rights reserved.