Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ping Hou
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ISSTA/ECOOP 2024 profile
Registered user since Mon 15 May 2023
Name:
Ping Hou
Affiliation:
University of Oxford
Contributions
2024
ECOOP
Author of Fearless Asynchronous Communications with Timed Multiparty Session Protocols within the Technical Papers-track
PLAID
Author of Less is More Revisited: Global Specification and Local Verification Approaches within the PLAID 2024-track
2023
ECOOP
Author of Designing Asynchronous Multiparty Protocols with Crash-Stop Failures within the Research Papers-track
Share
x
Mon 14 Oct 05:03