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...

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Jan Jakubuv, J. B. Wells
• Keywords: CORR 2010, Education, Generic Process, Mobile Ambients, Shape Types