提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/tcs/CardelliG12AU-卡德利，卢卡澳大利亚-菲利普·加德纳TI-空间过程。JO-提奥。计算。科学。阀门-431SP-40EP-552012年上半年//DO-2016年10月10日/J.TCS.2011.12.051UR-（欧元）https://doi.org/10.1016/j.tcs.2011.12.051UR-（欧元）https://www.wikidata.org/entity/Q56981898急诊室-