External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Characteristic Bisimulation for Higher-Order Session Processes

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida. Characteristic Bisimulation for Higher-Order Session Processes. In Luca Aceto, David de Frutos-Escrig, editors, 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. Volume 42 of LIPIcs, pages 398-411, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Dimitrios Kouzapas

This author has not been identified. Look up 'Dimitrios Kouzapas' in Google

Jorge A. Pérez

This author has not been identified. Look up 'Jorge A. Pérez' in Google

Nobuko Yoshida

This author has not been identified. Look up 'Nobuko Yoshida' in Google
runs on