里卡多·福卡迪（编辑）;吉安路易吉·扎瓦塔罗（编辑） FGC'03。全球计算基础。2003年6月28日至29日，荷兰埃因霍温，第二届EATCS研讨会会议记录（ICALP 2003卫星活动）。 （英语） Zbl 1271.68037号 理论计算机科学电子笔记85，第1号。阿姆斯特丹：爱思唯尔。80页。，仅电子版（2003年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：Lennart Beringer；肯尼思·麦肯齐（Kenneth MacKenzie）；伊恩·斯塔克，Grail：命令式移动代码的函数形式，3-23[Zbl 1270.68065号]陈、陶璐；韩婷婷；陆健，稳健环境演算的模态逻辑内涵，25-38[Zbl 1270.03035号]Jean-Bernard斯特凡尼，凯尔微积分，40-60[Zbl 1270.68226号]安托尼奥·拉瓦拉；阿娜·马托斯（Ana G.Matos）。；Vasco T.Vasconcelos。；路易斯·洛佩斯，词汇范围分布：所见即所得，61-79[Zbl 1270.68222号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}（编辑）和textit{G.Zavataro}（主编），FGC’03。全球计算基础。2003年6月28日至29日，荷兰埃因霍温，第二届EATCS研讨会会议记录（ICALP 2003卫星活动）。阿姆斯特丹：Elsevier（2003；Zbl 1271.68037） 全文： 链接