Semantic subtyping for the π-calculus

  title={Semantic subtyping for the π-calculus},
  author={Giuseppe Castagna and Rocco De Nicola and Daniele Varacca},
Subtyping relations for the π-calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to derive a subtyping relation. The type system we consider includes read-only and write-only channel types, as well as boolean combinations of types. A set-theoretic interpretation… CONTINUE READING