Talk page

Title:
A Lattice-Theoretic Approach to Monitoring Distributed Computations 1

Speaker:
Vijay Garg

Link:
https://video-archive.fields.utoronto.ca/view/2975

Workshop:
Fields- 5th International Conference on Runtime Verification