CONCUR'98 Concurrency Theory

丛 书 名：Lecture Notes in Computer Science

版本说明：1

I S B N：(纸本) 9783540648963 

出 版 社：Springer Berlin  Heidelberg 

出 版 年：1000年

页      数：XIII, 663页

主 题 词：Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computation by Abstract Devices Programming Techniques Computer Communication Networks 

摘      要：This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR 98, held in Nice, France, in September 1998.;The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..