史蒂文·布鲁克斯（编辑） 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） 全文： 链接