Registered user since Thu 29 Apr 2021

Name:Nathan Liittschwager
Affiliation:University of California, Santa Cruz

Contributions

POPL 2023 A Formalization of Observational Equivalence in Message Passing Protocols
Show activities from other conferences

POPL 2023-profile
View general profile