This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

Towards liveness and fairness guarantees #201

Open

stevana opened this issue Jan 30, 2018 · 0 comments

Collaborator

stevana commented Jan 30, 2018

From POPL 2018: Reducing Liveness to Safety in First-Order Logic.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.