Loading...
Please wait, while we are loading the content...
Similar Documents
Linearity and Persistence in the Pi-Calculus
| Content Provider | Semantic Scholar |
|---|---|
| Author | Palamidessi, Catuscia Saraswat, Vijay A. Valencia, Frank D. Victor, Bjorn |
| Copyright Year | 2004 |
| Abstract | Processes can be seen as resources; if they can be consumed, we say that they arelinear, else we say that they are p rsistent . In this paper we present a study of linear and persistent processes wrt to the kind of system they can model. We chooseπ-calculus, perhaps the main representative of process calculi, as a framework to conduct our study. We consider four fragments of the π-calculus, each one focusing on a fundamental aspect of calculi found in the literature. The first one is fragment of the asynchronous π-calculus fragment πA. The second is thepersistent-output π fragment, denoted by π! O, which is likeπA except that all outputs are replicated. The p rsistent-input π! I is defined analogously but with all inputs replicated. Finally, persistentπ, denoted byπ! , is πA but with both inputs and outputs replicated. We shall provide translations fromπA into π! O andπ! I capturing the behaviour of πA processes withπ! O andπ! I ones, respectively. Furthermore, we show that, under some reasonable conditions, there cannot be such a translation from πA into π! . Our results say that with one source of linearity (i.e., either senders or receivers) we can simulate the behaviour of πA processes, but this is no longer possible in the absence of both linear senders and linear receivers. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.lix.polytechnique.fr/~fvalenci/papers/linearpi.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
