Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract)
by
Richard Banach
,
Franck van Breugel
BibTeX
@MISC{Banach_mobilityand,
author = {Richard Banach and Franck van Breugel},
title = {Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract)},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A compositional encoding of the π-calculus into infinitary CCS is given that maps reduction bisimilarity in π-calculus onto bisimilarity in CCS in a fully abstract way.
