Relationally Staged Computations in Calculi of Mobile Processes (2004)
| Citations: | 9 - 2 self |
BibTeX
@MISC{Ghani04relationallystaged,
author = {Neil Ghani and Kidane Yemane and Björn Victor},
title = {Relationally Staged Computations in Calculi of Mobile Processes},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
... syntax and functorial operational semantics to give a compositional and fully abstract semantics for the π-calculus equipped with open bisimulation. The key novelty in our work is the realisation that the sophistication of open bisimulation requires us to move from the usual semantic domain of presheaves over subcategories of Set to presheaves over subcategories of Rel. This extra structure is crucial in controlling the renaming of extruded names and in providing a variety of different dynamic allocation operators to model the different binders of the π-calculus.
