塞缪尔·希姆 通过护照进行流动控制。 (英语) Zbl 1165.68051号 Inf.计算。 207,第2期,171-193(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Hym},信息计算。207,第2号,171--193(2009;Zbl 1165.68051) 全文: 内政部 哈尔
塞缪尔·希姆 通过护照进行流动控制。(扩展摘要)。 (英语) Zbl 1151.68534号 Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703,349-363(2007)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Hym},莱克特。注释计算。科学。470349-363(2007年;Zbl 1151.68534) 全文: 内政部