理学 类型理论 释 concurrency model 并发模型 一种用于描述和分析内部含有无因果关系的事件或事件组的系统的数学模型。
理论计算机科学 佩特里网 释文 concurrency model 并发模型
- categorical
- categorical authentication
- categorical axiom system
- categorical class
- categorical classification of archives
- categorical data analysis
- categorical duality
- categorical game
- categorical grammar
- categorical grammar, CG
- categorical imperative
- categorical judgement
- categorical logic
- categorical method
- categorical model
- categoricalness
- categorical perception of speech segment
- categorical product
- categorical proposition
- categorical quotient
- categorical response
- categorical semantics
- categorical sum
- categorical syllogism
- categorical system of axioms