Justness. A completeness criterion for capturing liveness properties (extended abstract)

DOI10.1007/978-3-030-17127-8_29OpenAlexW4243213620MaRDI QIDQ2289100

Robert J. van Glabbeek

Publication date: 28 January 2020

Full work available at URL: https://arxiv.org/abs/1909.00286

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (7)

Off-the-shelf automated analysis of liveness properties for just paths ⋮ Modelling mutual exclusion in a process algebra with time-outs ⋮ Just testing ⋮ Fair must testing for I/O automata ⋮ Unnamed Item ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)

This page was built for publication: Justness. A completeness criterion for capturing liveness properties (extended abstract)