| Автор | DAMIANI, FERRUCCIO |
| Автор | DEZANI-CIANCAGLINI, MARIANGIOLA |
| Автор | GIANNINI, PAOLA |
| Дата выпуска | 1999 |
| dc.description | This paper presents a filter model for π-calculus and shows its full abstraction with respect to a ‘may’ operational semantics. The model is introduced in the form of a type assignment system. Types are related by a preorder that mimics the operational behaviour of terms. A subject expansion theorem holds. Terms are interpreted as filters of types: this interpretation is compositional. The proof of full abstraction relies on a notion of realizability of types and on the construction of terms, which test when an arbitrary term has a fixed type. |
| Издатель | Cambridge University Press |
| Название | A filter model for mobile processes This work was partly supported by NATO Grant HTECH.LG960875. |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 9 |
| Первая страница | 63 |
| Последняя страница | 101 |
| Аффилиация | DAMIANI FERRUCCIO; Università di Torino |
| Аффилиация | DEZANI-CIANCAGLINI MARIANGIOLA; Università di Torino |
| Аффилиация | GIANNINI PAOLA; Università di Torino |
| Выпуск | 1 |
