Correctness Conditions for Cross-chain Transactions

Maurice Herlihy, Brown University

November 03

12:30 pm

Computer Science Building, Auditorium 105

See event website for additional details and how to view or participate.

Sponsors

Computer Science

Computer Science

Leading the field through foundational theory, applications, and societal impact