斯蒂芬，戴安;鲁索，亚历杭德罗;别拉斯，巴勃罗;利维，阿米特;米切尔，约翰·C。;Maziéres，大卫 处理并发信息流系统中的秘密终止和定时通道。（英语） Zbl 1291.68057 2012年9月9日至15日，丹麦哥本哈根，ICFP'12第17届ACM SIGPLAN国际功能编程会议论文集。纽约，纽约：计算机机械协会（ACM）（ISBN 978-1-4503-1054-3）。ACM SIGPLAN公告47，第9号，201-214（2012年）。 引用于2文件 理学硕士： 68米14 分布式系统 68米11 Internet主题 68N18 函数规划与lambda演算 关键词：隐蔽通道;图书馆;单子 软件：肩带 PDF格式 BibTeX公司 XML 引用 \textti{D.Stefan}等人，载：第17届ACM-SIGPLAN函数式编程国际会议论文集，ICFP'12，丹麦哥本哈根，2012年9月9-15日。纽约，纽约：计算机机械协会（ACM）。201--214（2012年；Zbl 1291.68057） 全文： 内政部