Research output per year
Research output per year
Search results
-
2024
Concrete branching bisimilarity for processes with time-outs
Reghem, G. & van Glabbeek, R. J., 7 Oct 2024, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 53 p. (Computing Research Repository (CoRR))Research output: Book/Report › Commissioned report
Open AccessFile -
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 AccessFile -
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 AccessFile