Department of Computer Science, Loughborough University, Leicestershire, LE11 3TU UK;
CSP; CSPP; denotational semantics; formal methods; concurrency; parallel systems; occam; hardware compilation; priority; p-priority;
机译:在跨学科疼痛康复后,生活质量,焦虑,抑郁和接受改善吗? 一种多中心匹配控制研究,接受和承诺治疗与基于认知行为治疗的课程
机译:利用基于证据的方法和政策提高疫苗接受:从第7届年度疫苗接受会议上提出的行为和社会决定因素的研究见解
机译:与接受或不接受输卵管切除术有关的行为和生育因素
机译:CSPP中的可接受,行为和无限活动
机译:广义动力系统中的无限频率行为。
机译:再谈早期饮食行为和食物接受:母乳喂养和补充食品的引入作为食物接受的预测
机译:技术验收模型在解释大学学者的接受与行为意图在教育中使用技术的作用
机译:无限维potts模型的临界行为