消息序列图的范畴论语义描述

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

消息序列图的范畴论语义描述

于立兴, 陈中育, 高毅

Category Theory Semantic Description of Message Sequence Charts

XU Li-Xin, CHEN Zhong-Yo, GAO Yi

计算机工程 . 2011, (14): 65 -67 . DOI: 10.3969/j.issn.1000-3428.2011.14.020