Expressiveness of Generic Process Shape Types

12 years 3 months ago
Expressiveness of Generic Process Shape Types
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus, the system of Mobile Ambients, and many of their variants. POLYI is a generic type system that makes a sound type system with principal types and a type inference algorithm for any instantiation of METAI. POLYI provides a generic notion of shape types which describe behavior of processes by a direct description of allowed syntactic configurations. This paper evaluates the expressiveness of generic process shape types by comparing POLYI with three quite dissimilar type/static analysis systems in the literature. The first comparison is with Turner's type system for the -calculus without type annotations (which is essentially Milner's system of sorts). The second comparison is with an explicitly typed version of Mobile Ambients by Cardelli and Gordon. Finally, the third comparison is with a static ana...
Jan Jakubuv, J. B. Wells
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Jan Jakubuv, J. B. Wells
Comments (0)