HIGHLIGHTS
- who: Dimitrios Kouzapas from the University of Glasgow, Glasgow, UK have published the paper: Characteristic bisimulation for higher-order session processes, in the Journal: (JOURNAL)
- what: In the setting of a higher-order π-calculus with session types the authors develop characteristic bisimilarity a typed bisimilarity which fully characterises contextual equivalence. Using simple values inhabiting (session) types the approach distinguishes from untyped methods for characterising contextual equivalence in higher-order processes: the authors show that observing as inputs only a precise finite set of higher-order values suffices to reason about higher-order session processes. The . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.