本诺伊·勒克兰德;皮埃尔·雷蒂 TTSLI：树元组同步语言的实现。 （英语） Zbl 1045.68581号 苏菲·蒂森（编辑），《重写技术与应用》。第13届国际会议，RTA 2002，丹麦哥本哈根，2002年7月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43916-1）。莱克特。票据计算。科学。2378, 376-379 (2002). 摘要：树-元组同步语言首先是通过树-元类同步语法（TTSG）引入的，最近又通过（所谓的）约束系统（CS）重新定义了它，它允许人们证明更多的属性。已经提出了许多用于重写和并发的应用程序。关于整个系列，请参见[Zbl 0992.00043号]. MSC公司： 2012年第68季度 语法和重写系统 65年第68季度 形式语言和自动机 软件：TTSLI公司 PDF格式BibTeX公司 XML格式引用 \textit{B.Lecland}和\textit{P.Réty}，Lect。票据计算。科学。2378、376--379（2002年；Zbl 1045.68581） 全文： 链接