布鲁姆，巴德;Wan Fokkink公司;罗布·范·格拉贝克。 修饰跟踪语义的前同余格式。 （英语） Zbl 1367.68209号 ACM事务处理。计算。日志。 5，第1期，26-78（2004）. 引用于3评论引用于24文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：修饰痕迹语义;先声 PDF格式BibTeX公司 XML格式引用 \textit｛B.Bloom｝等人，ACM Trans。计算。日志。5，编号1，26-78（2004年；兹bl 1367.68209） 全文： DOI程序 arXiv公司