PRECISE SUBTYPING FOR SYNCHRONOUS MULTIPARTY SESSIONS

Precise subtyping for synchronous multiparty sessions

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages.The soundness and the completeness, together referred to hydrangea red sensation as the preciseness of subtyping, can be considered from two different points of view: operational and

read more