迪帕克·D’Souza;马杜苏丹，P。 外部规范的定时控制合成。 （英语） Zbl 1054.93502号 Alt，Helmut（编辑）等人，STACS 2002。第19届计算机科学理论方面年度研讨会。昂蒂布-胡安·勒平，法国，2002年3月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43283-3）。勒克特。注释计算。科学。2285, 571-582 (2002).MSC公司：93亿B50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D'Souza}和\textit{P.Madhusudan}，莱克特。注释计算。科学。228571-582（2002年；Zbl 1054.93502） 全文： 链接
马丁·勒克;马杜苏丹，P。;Supratik Mukhopadhyay公司 动态消息序列图。 （英语） Zbl 1027.68082号 Agrawal，Manindra（编辑）等人，FST TCS 2002：软件技术和理论计算机科学基础。第二十二届会议，印度坎普尔，2002年12月12日至14日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。第2556253-264页（2002年）。MSC公司：60年第68季度 68问题85 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}等人，Lect。注释计算。科学。2556253--264（2002；Zbl 1027.68082） 全文： 链接