Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)

DOI10.1007/978-3-030-78089-0_11zbMath1489.68154OpenAlexW3166494799MaRDI QIDQ2117021

Bas Luttik, Mark Bouwman, Tim A. C. Willemse

Publication date: 21 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-78089-0_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Off-the-shelf automated analysis of liveness properties for just paths
• Justness. A completeness criterion for capturing liveness properties (extended abstract)
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• Evidence for Fixpoint Logic

This page was built for publication: Off-the-shelf automated analysis of liveness properties for just paths (extended abstract)