@inproceedings{2c69a24098d94e00a3b1f5f699b62619,
title = "Expressiveness of generic process shape types",
abstract = "Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly*. system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed p-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation. {\textcopyright} 2010 Springer-Verlag Berlin Heidelberg.",
author = "Jan Jakubův and Wells, {J. B.}",
year = "2010",
doi = "10.1007/978-3-642-15640-3_8",
language = "English",
isbn = "3642156398",
volume = "6084 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "103--119",
booktitle = "Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers",
note = "5th International Symposium on Trustworthly Global Computing, TGC 2010 ; Conference date: 24-02-2010 Through 26-02-2010",
}