...
机译:具有时间优先执行策略的流程代数
process algebraexecuting policyweb servertime limitationpriority.;
机译:具有时间优先执行策略的流程代数
机译:具有时间优先执行策略的流程代数
机译:具有紧急执行策略的实时过程代数
机译:具有定时优先级执行策略的Web服务器的进程代数
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:使用自然语言和语义处理为循证医学生成可执行知识
机译:过程代数与混沌执行不健康系统的政策
机译:等式编程(可执行代数形式规范的研究)