5 citations · 14 across the 8 of their papers we have counts for
8 papers
Multirole Logic and Multiparty Channels
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on some underlying set of roles and the notion of negation is g…
Implementing Linking in Multiparty Sessions (Extended Abstract)
Hanwen Wu, Hongwei Xi
The fast growth of service-oriented programming (SOP) is evident in this day and age of the Internet, and handling communication is of paramount importance in SOP. Session types ar…
Multiparty Dependent Session Types (Extended Abstract)
Hanwen Wu, Hongwei Xi
Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lac…
Dependent Session Types
Hanwen Wu, Hongwei Xi
Session types offer a type-based discipline for enforcing communication protocols in distributed programming. We have previously formalized simple session types in the setting of m…
Multirole Logic (Extended Abstract)
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the noti…
Propositions in Linear Multirole Logic as Multiparty Session Types
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic and formalize linear multirole logic (LMRL) as a natural generalization of classical linear logic (CLL). Among various meta-prope…
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions
Hongwei Xi, Hanwen Wu
Traditionally, each party in a (dyadic or multiparty) session implements exactly one role specified in the type of the session. We refer to this kind of session as an individual se…
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
Hongwei Xi, Zhiqiang Ren, Hanwen Wu +1
We present a formalization of session types in a multi-threaded lambda-calculus (MTLC) equipped with a linear type system, establishing for the MTLC both type preservation and glob…