For higher-order (process) languages, characterising contextual equivalence is a long-standing issue. In the setting of a higher-order π -calculus with session types, we develop characteristic bisimilarity, a typed bisimilarity which fully characterises c... ...

请注册登录后继续浏览