On action permutation and progress for a type system with partially commutative asynchronous binary sessions

Open Webpage

Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song

Published: 01 Jan 2015, Last Modified: 18 Jun 2024Int. J. Comput. Sci. Eng. 2015EveryoneRevisionsBibTeXCC BY-SA 4.0