Characteristic bisimulation for higher-order session processes

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 :)

  Username or E-mail:

  If you don't have an account, you can create one here.