西蒙·默克 嵌入式系统中基于进程代数的编程语言的分布式实现。 （英语） Zbl 0978.68105号 Nord.J.计算。 8，第1期，121-158（2001）. 摘要：本文涉及一类特定嵌入式系统的软件开发。提出了一种定时编程语言，它保留了进程代数的大多数抽象概念，但限制了在嵌入式系统平台上构造实际实现的问题。该实现是根据PMC编程语言到实现平台模型Imp的转换给出的。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：嵌入式系统 软件：LOTOS公司;酯类;项目管理咨询公司 PDF格式BibTeX公司 XML格式引用 \textit{S.莫克}，Nord.J.计算。8，第1号，121--158（2001；Zbl 0978.68105）