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.

Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement

Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim. Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Brijesh Dongol

This author has not been identified. Look up 'Brijesh Dongol' in Google

Gerhard Schellhorn

This author has not been identified. Look up 'Gerhard Schellhorn' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google
runs on