简·希尔斯顿;安德烈亚·马林;卡拉广场;萨宾娜·罗西 持续随机无干扰。 （英语） 兹比尔1519.68163 芬丹。通知。 181，编号1，1-35（2021）。MSC公司：68问题85 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人，Fundam。通知。181，编号1，1-35（2021；Zbl 1519.68163） 全文： 内政部
安德烈亚·马林;卡拉广场;萨宾娜·罗西 DPSNI（_PSNI）：分隔的持久随机不干涉。 （英语） Zbl 1517.68066号 西奥。计算。科学。 884, 116-135 (2021)。MSC公司：68平方米25 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Marin}等人，Theor。计算。科学。884116-135（2021年；Zbl 1517.68066） 全文： 内政部
简·希尔斯顿;卡拉广场;萨宾娜·罗西 持续随机无干扰。 （英语） Zbl 1525.68084号 Pérez，Jorge A.（编辑）等，第25届并发表达性国际研讨会和第15届结构操作语义研讨会合集，EXPRESS/SOS 2018，中国北京，2018年9月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27653-68（2018）。MSC公司：68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人，《电子》。程序。西奥。计算。科学。（EPTCS）276、53--68（2018；Zbl 1525.68084） 全文： arXiv公司 链接
安娜丽莎·博西;卡拉广场;萨宾娜·罗西 进程代数和安全问题中的操作优化。 （英语） Zbl 1179.68100号 King，Andy（编辑），《基于逻辑的程序综合与转换》。2007年8月23日至24日，第17届国际研讨会，LOPSTR，丹麦康根斯·林比。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。《计算机科学讲义》4915201-217（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，Lect。注释计算。科学。4915，201-217（2008；Zbl 1179.68100） 全文： 内政部
西尔维娅·克拉法;萨宾娜·罗西 控制\（\pi\）演算中的信息发布。 （英语） 兹比尔1121.68079 Inf.计算。 205，第8期，1235-1273（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{S.Rossi}，Inf.Comput。205，第8号，1235--1273（2007；Zbl 1121.68079） 全文： 内政部
安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 验证持久安全属性。 （英语） Zbl 1072.68065号 计算。语言系统。结构。 30，编号3-4，231-258（2004）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，计算。语言系统。结构。30，编号3--4，231--258（2004；Zbl 1072.68065） 全文： 内政部