Ensuring Liveness Properties of Distributed Systems with Justness

Bradfield, Julian (Principal Investigator)

School of Informatics

2 Conference contribution
1 Commissioned report

1 results

Filter

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