问答题
简答题
简述LOTOS模型中定义了哪些基本算符,并简述这些算符的含义。
【参考答案】
T1〣T2(交替Interleaving):T1和T2两个任务相互独立执行,可按任意顺序执行,但永远不会同步。
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题