π-Calculus, Internal Mobility, and Agent-Passing Calculi (1995)
| Venue: | THEORETICAL COMPUTER SCIENCE |
| Citations: | 73 - 9 self |
BibTeX
@ARTICLE{Sangiorgi95π-calculus,internal,
author = {Davide Sangiorgi},
title = {π-Calculus, Internal Mobility, and Agent-Passing Calculi},
journal = {THEORETICAL COMPUTER SCIENCE},
year = {1995},
volume = {167}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The π-calculus is a process algebra which originates from CCS and permits a natural modelling of mobility (i.e., dynamic reconfigurations of the process linkage) using communication of names. Previous research has shown that the π-calculus has much greater expressiveness than CCS, but also a much more complex mathematical theory. The primary goal of this work is to understand the reasons of this gap. Another goal is to compare the expressiveness of name-passing calculi, i.e., calculi like π-calculus where mobility is achieved via exchange of names, and that of agent-passing calculi, i.e., calculi where mobility is achieved via exchange of agents. We separate the mobility mechanisms of the π-calculus into two, respectively called internal mobility and external mobility. The study of the subcalculus which only uses internal mobility, called I, suggests that internal mobility is responsible for much of the expressiveness of the π-calculus, whereas external mobility is responsible for many of...
