阿瓜多,约阿奎因;迈克尔·门德勒;冯·汉克斯利登,莱因哈德;Insa Fuhrmann公司 同步并发构造调度的表示定点语义。 (英语) Zbl 1325.68135号 学报信息。 52,No.4-5,393-442(2015).MSC公司:第68季度55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Aguado}等人,Acta Inf.52,编号4--5393-442(2015;兹bl 1325.68135) 全文: 内政部 链接
Jean-Pierre塔宾;尤伊,朱利安;蒂埃里·戈蒂埃;洛依茨贝斯纳德;保罗·勒格尔尼克 等时系统的组成设计。 (英语) Zbl 1250.68094号 科学。计算。程序。 77,第2期,113-128(2012).MSC公司:68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人,《科学》。计算。程序。77,No.2,113--128(2012;Zbl 1250.68094) 全文: 内政部