霍华德·巴林格;鲁德·柯伊伯;阿米尔·普努利 类CSP语言的合成时间方法。 (英语) Zbl 0594.68018号 程序设计中的形式化模型。IFIP TC2工作会议,维也纳/奥地利,1985年,207-227年(1986年)。MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
霍华德·巴林格;鲁德·柯伊伯 时序逻辑框架中并发系统的分层开发。 (英语) Zbl 0565.68017号 并发,Semin。宾夕法尼亚州匹兹堡,1984年,Lect。注释计算。科学。197, 35-61 (1985).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式