Sequence Types for the π-calculus | Zendy

Sergio Maffeis | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Sequence Types for the π-calculus

Author(s) -

Sergio Maffeis

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.06.012

Subject(s) - finitary , type (biology) , sequence (biology) , intersection (aeronautics) , pi calculus , computer science , mathematics , process calculus , calculus (dental) , theoretical computer science , discrete mathematics , medicine , ecology , genetics , dentistry , engineering , biology , aerospace engineering

We introduce channel sequence types to study finitary polymorphism in the context of mobile processes modelled in the π-calculus. We associate to each channel a set of exchange types, and we require that output processes send values of one of those types, and input processes accept values of any type in the set. Our type assignment system enjoys subject reduction and guarantees the absence of communication errors. We give several examples of polymorphism, and we encode the λ-calculus with the strict intersection type discipline

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research