A Hierarchy of Equivalences for Asynchronous Calculi (2003)
by
Cedric Fournet
,
Georges Gonthier
| Citations: | 53 - 5 self |
BibTeX
@MISC{Fournet03ahierarchy,
author = {Cedric Fournet and Georges Gonthier},
title = {A Hierarchy of Equivalences for Asynchronous Calculi},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisimulation. The -calculus, used here, and the join calculus are examples of such calculi.
