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.

Research

  • artist's view of distributed network, nodes and connections

    Blockchain

Sponsor

  • Computer Science

    Computer Science