%0 Journal Article %1 journals/jsw/ZhengWL11 %A Zheng, Guang %A Wu, Jinzhao %A Lu, Aiping %D 2011 %J J. Softw. %K dblp %N 5 %P 769-782 %T Stochastic Process Algebra with Value-Passing and Weak Time Restrictions. %U http://dblp.uni-trier.de/db/journals/jsw/jsw6.html#ZhengWL11 %V 6

@article{journals/jsw/ZhengWL11, added-at = {2020-09-15T00:00:00.000+0200}, author = {Zheng, Guang and Wu, Jinzhao and Lu, Aiping}, biburl = {https://www.bibsonomy.org/bibtex/236ee89ff8581b31ba7d5bddcf88580e4/dblp}, ee = {http://www.jsoftware.us/show-100-1520-1.html}, interhash = {dd5cdcff47cede585c804a155182889c}, intrahash = {36ee89ff8581b31ba7d5bddcf88580e4}, journal = {J. Softw.}, keywords = {dblp}, number = 5, pages = {769-782}, timestamp = {2020-09-16T11:38:00.000+0200}, title = {Stochastic Process Algebra with Value-Passing and Weak Time Restrictions.}, url = {http://dblp.uni-trier.de/db/journals/jsw/jsw6.html#ZhengWL11}, volume = 6, year = 2011 }