Typing and Subtyping for Mobile Processes (1996)
Cached
Download Links
- [www.cis.upenn.edu]
- [www.cis.upenn.edu]
- [www.cs.indiana.edu]
- [www.cs.indiana.edu]
- DBLP
Other Repositories/Bibliography
by
Benjamin Pierce
,
Davide Sangiorgi
| Venue: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
| Citations: | 228 - 15 self |
BibTeX
@INPROCEEDINGS{Pierce96typingand,
author = {Benjamin Pierce and Davide Sangiorgi},
title = {Typing and Subtyping for Mobile Processes},
booktitle = {MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
year = {1996},
pages = {376--385},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The pi-calculus is a process algebra that supports process mobility by focusing on the communication of channels. Milner's
