卢卡·福萨蒂;丹尼尔·瓦拉卡 握手协议的Petri网模型。 （英语） Zbl 1291.68284号 Bonchi，Filippo（编辑）等人，第一届交互和并发体验研讨会（ICE 2008）会议记录，冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第3期，59-76（2009）。MSC公司：68问题85 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{L.Fossati}和\textit{D.Varacca}，电子。注释Theor。计算。科学。229，第3号，59--76（2009；Zbl 1291.68284） 全文： 内政部
卢卡·福萨蒂;丹尼尔·瓦拉卡 握手配置的演算。 （英语） Zbl 1234.68296号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，该会议是欧洲软件理论与实践联合会议ETAPS 2009的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504227-241（2009）。MSC公司：68问题85 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{L.Fossati}和\textit{D.Varacca}，Lect。注释计算。科学。5504227--241（2009年；Zbl 1234.68296） 全文： 内政部
卢卡·福萨蒂 握手游戏。 （英语） Zbl 1277.68183号 Jouannaud，Jean-Pierre（ed.）等人，第二届计算模型发展国际研讨会论文集（DCM 2006），意大利威尼斯，2006年7月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》171，第3期，21-41（2007）。MSC公司：68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fossati}，电子。注释Theor。计算。科学。171，第3号，第21-41号（2007；Zbl 1277.68183） 全文： 内政部