Talk page

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

Speaker:
Vijay Garg

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

Workshop:
Fields- 5th International Conference on Runtime Verification