兰斯·克莱维兰;A.W.罗斯科。;斯科特·斯莫尔卡。 进程代数和模型检查。 （英语） Zbl 1392.68243号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1149-1195 (2018).MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Cleaveland｝等人，《模型检查手册》。查姆：斯普林格。1149--1195（2018；Zbl 1392.68243） 全文： 内政部
兰斯·克莱维兰;S.Purushothaman，Iyer;穆拉利·纳拉西姆哈 通过模态μ演算的概率时间逻辑。 （英语） Zbl 1077.68058号 西奥。计算。科学。 342，编号2-3，316-350（2005）.MSC公司：68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人，Theor。计算。科学。342，编号2--3316-350（2005；Zbl 1077.68058） 全文： 内政部 链接
兰斯·克莱维兰;杰拉尔德·吕特根;V·纳塔拉扬。 具有分布式优先级的进程代数。 （英语） Zbl 0915.68060号 西奥。计算。科学。 195，第2期，227-258（1998）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人，Theor。计算。科学。195，第2号，227--258（1998；Zbl 0915.68060） 全文： 内政部
兰斯·克莱维兰;杰拉尔德·吕特根;迈克尔·门德勒 多时钟的代数理论。 （英语） Zbl 1512.68164号 Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 166-180 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Cleaveland｝等人，Lect。注释计算。科学。1243、166--180（1997年；Zbl 1512.68164） 全文： 内政部
兰斯·克莱维兰;杰拉尔德·吕特根;V·纳塔拉扬。 具有分布式优先级的进程代数。 （英语） Zbl 1514.68159号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 34-49 (1996).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Cleaveland｝等人，Lect。注释计算。科学。1119，34-49（1996年；兹bl 1514.68159） 全文： 内政部 链接
乌福，塞利坎;兰斯·克莱维兰 生成行为预订单的诊断信息。 （英语） Zbl 1448.68334号 分布计算。 9，第2期，61-75（1995）.MSC公司：68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Celikkan}和\textit{R.Cleaveland}，分布式计算。9，第2号，61--75（1995；Zbl 1448.68334） 全文： 内政部
V·纳塔拉扬。;兰斯·克莱维兰 分歧和公平测试。 （英语） Zbl 1412.68155号 Fülöp，Zoltán（编辑）等人，《自动化、语言和编程》。1995年7月10日至14日，匈牙利塞格德，第22届国际学术讨论会，ICALP’95。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。944, 648-659 (1995).MSC公司：68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Natarajan}和\textit{R.Cleaveland}，莱克特。注释计算。科学。944648-659（1995年；Zbl 1412.68155） 全文： 内政部
兰斯·克莱维兰;马修·轩尼诗 将等效性测试为互模拟等效性。 （英语） Zbl 0797.68058号 正式Asp。计算。 5，第1号，1-20（1993）. 审核人：M.K（布尔诺） MSC公司：2010年第68季度 68问题55 68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{M.Hennessy}，正式Asp。计算。5，编号1，1--20（1993；Zbl 0797.68058） 全文： 内政部
兰斯·克莱维兰;马修·轩尼诗 过程代数中的优先级。 （英语） Zbl 0726.68053号 Inf.计算。 87，No.1-2，58-77（1990）. 审核人：G.Mauri（米兰） MSC公司：68问题55 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{M.Hennessy}，Inf.Compute。87，编号1--2，58-77（1990；Zbl 0726.68053） 全文： 内政部
兰斯·克莱维兰;帕南加登，普拉卡什 类型理论和并发。 （英语） 兹比尔0678.68017 国际J并行程序。 17，第2期，153-206（1988）. 审核人：J.-J.Ch.梅耶 MSC公司：68N25号 68吨15 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{P.Panangaden}，国际J。并行程序。17，第2号，153--206（1988年；兹bl 0678.68017） 全文： 内政部