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