@article{李苏婷:51, author = {李苏婷,张严}, title = {GSOS算子下共变-异变模拟的公理刻画}, publisher = {计算机科学}, year = {2020}, journal = {计算机科学}, volume = {47}, number = {1}, eid = {51}, numpages = {7}, pages = {51}, keywords = {GSOS;结构化操作语义(SOS);进程演算;共变-异变模拟;可靠性;完备性}, url = {https://www.jsjkx.com/CN/abstract/article_18821.shtml}, doi = {10.11896/jsjkx.181102026} }