Ensuring Liveness Properties of Distributed Systems with Justness

  • 2 Conference contribution
  • 1 Commissioned report
Filter
Conference contribution

Search results

  • 2024

    Branching bisimilarity for processes with time-outs

    Reghem, G. & van Glabbeek, R. J., 29 Aug 2024, 35th International Conference on Concurrency Theory (CONCUR 2024). Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 311. p. 1-22 22 p. (Leibniz International Proceedings in Informatics).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2023

    Just Testing

    van Glabbeek, R., 21 Apr 2023, Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023. Kupferman, O. & Sobocinski, P. (eds.). Springer, Vol. 13992. p. 498-519 22 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File