Expressiveness of Generic Process Shape Types

Details Expressiveness of Generic Process Shape Types Expressiveness of Generic Process Shape Types

2010-03-31

arxiv.org/abs/1003.6096v1

Computer Science

Logic in Computer Science

Submitted to Trustworthy Global Computing (TGC) 2010.

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Expressiveness of Generic Process Shape Types does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Expressiveness of Generic Process Shape Types, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Expressiveness of Generic Process Shape Types will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-580910