> Details

Dongol, Brijesh [Author]; Schellhorn, Gerhard [Author]; Wehrheim, Heike [Author] ; Klin, Bartek [Editor]; Lasota, Sławomir [Editor]; Muscholl, Anca [Editor]

Weak progressive forward simulation is necessary and sufficient for strong observational refinement

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: Weak progressive forward simulation is necessary and sufficient for strong observational refinement
  • Contributor: Dongol, Brijesh [Author]; Schellhorn, Gerhard [Author]; Wehrheim, Heike [Author]; Klin, Bartek [Editor]; Lasota, Sławomir [Editor]; Muscholl, Anca [Editor]
  • Published: Augsburg: Universität Augsburg, 2022
    Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022
  • Published in: Leibniz International Proceedings in Informatics (LIPIcs) ; 243
  • Extent: 1 Online-Ressource
  • Language: English
  • DOI: 10.4230/LIPIcs.CONCUR.2022.31
  • Identifier:
  • Origination:
  • Footnote: In: 33rd International Conference on Concurrency Theory (CONCUR 2022), September 12-16, 2022, Warsaw, Poland, S. 31:1-31:23
  • Access State: Open Access