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 present the generic polymorphic type system Poly✶ which works for a wide range of mobile process calculi, including the π-calculus and Mobile… (More)
DOI: 10.1007/978-3-540-31987-0_27

Topics

5 Figures and Tables

Cite this paper

@inproceedings{Makholm2005InstantPT, title={Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close}, author={Henning Makholm and Joe B. Wells}, booktitle={ESOP}, year={2005} }