【预订】CONCUR ’98 Concurrency Theory 9783540648963
国外库房发货,通常付款后3-5周到货!
/ 1998-08-19
Product Details 基本信息 ISBN-13 书号 9783540648963 Author 作者 Sangiorgi Format 版本 平装-胶订 Pages Number 页数 663页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-08-19 Language 语种 英语 Book Contents 内容简介 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..
¥1040