吕克·莱昂纳德;勒杜克,盖伊 LOTOS中时间的正式定义。 (英语) Zbl 0934.68056号 正式Asp。计算。 10,第3期,248-266(1998)。 引用于5文件 MSC公司: 第68季度55 计算理论中的语义学 关键词:ET-LOTOS公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Léonard}和\textit{G.Leduc},正式Asp。计算。10,第3号,248--266(1998;Zbl 0934.68056) 全文: 内政部 链接