简·希尔斯顿；安德烈亚·马林；卡拉广场；萨宾娜·罗西 持续的随机不干扰。 （英语） Zbl 1519.68163号 芬丹。通知。 181，编号1，1-35（2021）.MSC公司：68问题85 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hillston}等人，Fundam。通知。181，编号1，1-35（2021；Zbl 1519.68163） 全文： 内政部
简·希尔斯顿；卡拉广场；萨宾娜·罗西 持续随机无干扰。 （英语） Zbl 1525.68084号 Pérez，Jorge A.（ed.）等人，第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 1416.68014号 Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415，1-20（2014年）。MSC公司：2007年7月68日 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Ben Said}等人，Lect。注释计算。科学。8415，1--20（2014；Zbl 1416.68014） 全文： 内政部
罗恩·范德梅登；张晨毅 无干扰语义模型的比较。 （英语） Zbl 1205.68110号 西奥。计算。科学。 411，第47号，4123-4147（2010）.MSC公司：68M99型 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{C.Zhang}，Theor。计算。科学。411，第47号，4123--4147（2010；Zbl 1205.68110） 全文： 内政部
吉田、Nobuko；本田、高黑；马丁·伯杰 线性和互模拟。 （英语） Zbl 1119.68131号 J.日志。阿尔盖布。程序。 72，第2期，207-238（2007）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Yoshida}等人，J.Log。阿尔盖布。程序。72，第2号，207--238（2007；Zbl 1119.68131） 全文： 内政部
鲍里斯·科普夫；戴维·巴恩斯 同步系统的时间敏感信息流分析。 （英语） Zbl 1487.68068号 Gollmann，Dieter（编辑）等人，《计算机安全–ESORICS 2006》。第十一届欧洲计算机安全研究研讨会，德国汉堡，2006年9月18日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。4189, 243-262 (2006).MSC公司：68平方米25 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Köpf}和\textit{D.Basin}，莱克托。注释计算。科学。4189243-262（2006；Zbl 1487.68068） 全文： 内政部