CONCUR '93 - Fourth International Conference on Concurrency Theory; August 23-26, 1993; Germany

9311650斯莫尔卡该奖项为支持Concur‘93--将于1993年8月23-26日在德国希尔德斯海姆大学校园举行的第四届国际并发理论会议提供资金。Concur‘93的会议记录将以卷的形式发表在Springer-Verlag的计算机科学讲稿系列中。会议的范围涵盖了并发系统的语义、逻辑和验证技术的所有领域。具体的主题包括但不限于进程代数、Petri网、真正的并发性、共享内存和消息传递形式、操作和外延模型、编程语言语义、并发逻辑和约束编程、公平性、时态逻辑、成分分析技术和验证工具。***

9311650 Smolka This award provides funds in support of CONCUR '93 - The Fourth International Conference on Concurrency Theory, to be held August 23-26, l993, on the campus of the University of Hildesheim, Germany. The proceedings of CONCUR '93 will be published as a volume in the Lecture Notes in Computer Science series by Springer-Verlag. The conference's purview spans all areas of semantics, logics and verification techniques for concurrent systems. Particular topics include, but are not limited to, process algebras, Petri nets, true concurrency, shared-memory and message-passing formalisms, operational and denotational models, programming language semantics, concurrent logic and constraint programming, fairness, temporal logics, compositional analysis techniques, and verification tools. ***