Typed ψ-calculi
Publication: Research - peer-review › Conference article in Journal
A large variety of process calculi extend the pi-calculus with more general notions of messages. Bengtson et al. have shown that many of these pi-like calculi can be expressed as so-called psi-calculi. In this paper, we describe a simple type system for psi-calculi. The type system satisfies a subject reduction property and a general notion of channel safety. A number of existing systems are shown to be instances of our system, and other, new type systems can also be obtained. We first present a new type system for the calculus of explicit fusions by Wischik and Gardner, then one for the distributed pi-calculus of Hennessy and Riely and finally show how existing type systems for secrecy and authenticity in the spi calculus can be represented and shown to be safe.
| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science |
| Publication date | 2011 |
| Volume | 6901 |
| Pages | 265-279 |
| Number of pages | 15 |
| ISSN | 0302-9743 |
| DOIs | |
| State | Published |
Conference
| Conference | 22nd International Conference on Concurrency Theory |
|---|---|
| Number | 22 |
| Country | Germany |
| City | Aachen |
| Period | 06/09/11 → 09/09/11 |
Loading map data...
ID: 65606130