%0 Journal Article %1 journals/fac/ShiZLSDQ18 %A Shi, Ling %A Zhao, Yongxin %A Liu, Yang %A Sun, Jun %A Dong, Jin Song %A Qin, Shengchao %D 2018 %J Formal Aspects Comput. %K dblp %N 3-4 %P 351-380 %T A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. %U http://dblp.uni-trier.de/db/journals/fac/fac30.html#ShiZLSDQ18 %V 30

@article{journals/fac/ShiZLSDQ18, added-at = {2023-06-26T00:00:00.000+0200}, author = {Shi, Ling and Zhao, Yongxin and Liu, Yang and Sun, Jun and Dong, Jin Song and Qin, Shengchao}, biburl = {https://www.bibsonomy.org/bibtex/2d153dd30aedc4865f9df55f523036808/dblp}, ee = {https://doi.org/10.1007/s00165-018-0453-7}, interhash = {042f7e0b13f943658cb7331fe7882f3f}, intrahash = {d153dd30aedc4865f9df55f523036808}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = {3-4}, pages = {351-380}, timestamp = {2024-04-09T05:38:02.000+0200}, title = {A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac30.html#ShiZLSDQ18}, volume = 30, year = 2018 }