史蒂文·布鲁克斯(编辑) 2003年3月19日至22日,加拿大蒙特利尔,第19届编程语义数学基础会议论文集。 (英语) Zbl 1325.68013号 理论计算机科学电子笔记83.阿姆斯特丹:爱思唯尔。ii第302页。,仅电子版(2003年)。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于第17次会议,请参见[Zbl 1260.68010号].索引文章:比恩,朱尔斯,丝带校样,1-21,仅电子版[Zbl 1338.03043号]陈一峰,累计计算,23-38,仅电子[兹比尔1337.68179]鲍勃·科克,逻辑熵几何,39-53,仅电子[Zbl 1338.81033号]穆拉德·德巴比;穆罕默德·梅杰里,面向安全协议的正确性,55-98,仅电子版[Zbl 1337.68066号]Edalat,A。;Krznarić,M。;A.队长。,微分方程的区域理论解(标量场),99-112,仅电子[Zbl 1337.68300号]马修·轩尼诗,The security picalculus and non-interference(扩展摘要),113-129,仅电子版[Zbl 1337.68183号]多米尼克·休斯、密集双胶合、双向坍塌和楚建筑,131-147,仅电子版[Zbl 1337.03092号]阿兰·杰弗里(Alan Jeffrey);朱利安·拉特克,高阶\(\pi\)微积分的上下文等价性,149-168,仅电子版[Zbl 1337.68185号]盖·麦库斯克,关于类Algol语言中bad-variable构造函数的语义,169-186,仅电子版[Zbl 1337.68053号]拉杜·内格列斯库,异步接口不完整规范的通用转换,187-200,仅电子版[Zbl 1337.68169号]达塔,阿努帕姆;Derek,Ante公司;约翰·米切尔(John C.Mitchell)。;达斯科·巴甫洛维奇,安全协议组成,201-226,仅电子版[Zbl 1337.68065号]Cheng,Eugenia;马丁·海兰德(Martin Hyland);权力,约翰,伪分布定律,227-245,仅电子版[Zbl 1338.18022号]Pawe Waszkiewicz,域如何对拓扑进行建模?,247-262,仅电子版[Zbl 1341.06012号]史蒂夫·兹丹塞维奇,用于可靠解密的类型系统,263-277,仅电子版[Zbl 1337.68078号]张国强,紧凑覆盖生成光谱帧。,279-285,仅电子版[Zbl 1339.06010号]张国强,楚空间,概念格和域,287-302,仅电子[Zbl 1337.68249号] 引用于三文件 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68问题55 计算理论中的语义学 00B25型 杂项特定利益的会议记录 引文:Zbl 1260.68010号 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}(编辑),第19届编程语义数学基础会议论文集(MFPS XIX),加拿大蒙特利尔,2003年3月19-22日。阿姆斯特丹:Elsevier(2003;Zbl 1325.68013) 全文: 链接