On Projections of Global Types in Partially Commutative Multiparty Asynchronous Sessions.

Zhenguo Yang, Farong Zhong, Jinfang Zhang

Browse the full PDCAT paper archive.