Solos in concert (1999)
Cached
Download Links
- [user.it.uu.se]
- [www.cs.unibo.it]
- [www.cs.unibo.it]
- DBLP
Other Repositories/Bibliography
by
Cosimo Laneve
,
Björn Victor
| Venue: | IN ICALP’99, LNCS 1644:513–523 |
| Citations: | 18 - 4 self |
BibTeX
@INPROCEEDINGS{Laneve99solosin,
author = {Cosimo Laneve and Björn Victor},
title = {Solos in concert},
booktitle = {IN ICALP’99, LNCS 1644:513–523},
year = {1999},
pages = {513--523},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. One encoding gives a strong correspondence but uses a match operator; the other yields a slightly weaker correspondence but uses no additional operators.
