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.

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Ki Yung Ahn, Ross Horne, Alwen Tiu. A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. In Roland Meyer, Uwe Nestmann, editors, 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. Volume 85 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Ki Yung Ahn

This author has not been identified. Look up 'Ki Yung Ahn' in Google

Ross Horne

This author has not been identified. Look up 'Ross Horne' in Google

Alwen Tiu

This author has not been identified. Look up 'Alwen Tiu' in Google
runs on