Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Raymond Hu
Map detail
Raymond Hu5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipRaymond HuARaymond HuResearcherSession-Based Programming for Parallel Algorithms: Expressiveness and PerformanceWSession-Based Programmi...preprint / 2010Secure Execution of Distributed Session ProgramsWSecure Execution of Dis...preprint / 2011Statically Verified Refinements for Multiparty ProtocolsWStatically Verified Ref...preprint / 2020Parameterised Multiparty Session TypesWParameterised Multipart...preprint / 2012
Person4 links

Raymond Hu

Researcher