@article{Shuling WANG:28, author = {Shuling WANG, Qin SHU, Yijing LIU, Zongyan QIU, }, title = {A semantic model of confinement and Locality Theorem}, publisher = {Front. Comput. Sci.}, year = {2010}, journal = {Frontiers of Computer Science}, volume = {4}, number = {1}, eid = {28}, numpages = {18}, pages = {28}, keywords = {operational semantics; confinement; well confined program; Locality Theorem; confined type; ownership }, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_9476.shtml}, doi = {10.1007/s11704-009-0075-6} }