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.

Modal Logics for Mobile Processes Revisited

Tiange Liu, Alwen Tiu, Jim de Groot. Modal Logics for Mobile Processes Revisited. In Guillermo A. Pérez 0001, Jean-François Raskin, editors, 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. Volume 279 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Tiange Liu

This author has not been identified. Look up 'Tiange Liu' in Google

Alwen Tiu

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

Jim de Groot

This author has not been identified. Look up 'Jim de Groot' in Google
runs on