Ensuring Liveness Properties of Distributed Systems with Justness

Bradfield, Julian (Principal Investigator)

School of Informatics

Status	Active
Effective start/end date	1/08/22 → 31/08/27

Funding

Other (Learned Society): £328,357.00

2 Conference contribution
1 Commissioned report

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 Access
File
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
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