A hierarchy of equivalences for asynchronous calculi☆
Under an Elsevier user license
open archive
Keywords
Concurrency
Observational equivalence
Reduction equivalence
Process calculi
Asynchronous π-calculus
Join calculus
Barbed bisimulation
Coupled simulation
Fair testing
May testing
Cited by (0)
- ☆
A preliminary extended abstract appears in [16].
Copyright © 2004 Elsevier Inc. All rights reserved.