oaioai:CiteSeerX.psu:10.1.1.59.3316

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

Abstract

Many different mobile process calculi have been invented, and for each some number of type systems has been developed. Soundness and other properties must be proved separately for each calculus and type system. We presen

Similar works

Full text

thumbnail-image
oaioai:CiteSeerX.psu:10.1.1.59.3316Last time updated on 10/22/2014

This paper was published in CiteSeerX.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.