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
View general profile