%0 Journal Article %1 journals/ijcse/YangZZS15 %A Yang, Zhenguo %A Zhong, Farong %A Zhang, Jinfang %A Song, Tiantian %D 2015 %J IJCSE %K dblp %N 3 %P 253-262 %T On action permutation and progress for a type system with partially commutative asynchronous binary sessions. %U http://dblp.uni-trier.de/db/journals/ijcse/ijcse10.html#YangZZS15 %V 10

@article{journals/ijcse/YangZZS15, added-at = {2015-04-27T00:00:00.000+0200}, author = {Yang, Zhenguo and Zhong, Farong and Zhang, Jinfang and Song, Tiantian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b6a25583c28e13f90d499838e06d0d1/dblp}, ee = {http://dx.doi.org/10.1504/IJCSE.2015.068834}, interhash = {b5b47ddad65182620382001a194ac0a6}, intrahash = {7b6a25583c28e13f90d499838e06d0d1}, journal = {IJCSE}, keywords = {dblp}, number = 3, pages = {253-262}, timestamp = {2016-02-02T10:13:47.000+0100}, title = {On action permutation and progress for a type system with partially commutative asynchronous binary sessions.}, url = {http://dblp.uni-trier.de/db/journals/ijcse/ijcse10.html#YangZZS15}, volume = 10, year = 2015 }