同步合成操作相关硕士博士期刊学术论文 - 搜论网

同步合成操作相关论文

同步合成Petri网系统活性与无死锁性的保持性

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性......

期刊

同步合成操作活性与无死锁性的保持性并发语言同步路径路径并发合成 Computer programming languages Parallel proc

看过本文同时还关注