Deriving session and union types for objects.

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases