A Contetxual Transition Semantics for Graphical Concurrent System with Higher-Order Streaming Communication
A Contetxual Transition Semantics for Graphical Concurrent System with Higher-Order Streaming Communication
复制标题
高阶流通信图形并发系统的上下文转换语义
DOI:
--
复制
发表时间:
2014
期刊:
影响因子:
--
通讯作者:
Masaki Murakami
中科院分区:
文献类型:
--
作者:
鈴木斎輝;吉田真紀;Murakami M.;Masaki Murakami