首页 /研究 /Structure theory of multi-level deterministically synchronized sequential processes
OTHER

Structure theory of multi-level deterministically synchronized sequential processes

Laura Recalde, Enrique Teruel, Manuel Silva

发表年份
2001
引用次数
9

关键词

InterleavingBounded functionModular designMathematicsClass (philosophy)Extension (predicate logic)Realization (probability)Semantics (computer science)Discrete mathematicsPetri net

相关论文

查看 OTHER 分类全部论文