| 书目名称 | Formal Modeling: Actors; Open Systems, Biological Systems | | 副标题 | Essays Dedicated to | | 编辑 | Gul Agha,Olivier Danvy,José Meseguer | | 视频video | | | 概述 | commemorative publication.up-to-date-results in formal modeling.state-of-the-art-research | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011.Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology.The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology. | | 出版日期 | Book 2011 | | 关键词 | algebraic structures; concurrency; formal verification; software development; verification | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-24933-4 | | isbn_softcover | 978-3-642-24932-7 | | isbn_ebook | 978-3-642-24933-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag GmbH Berlin Heidelberg 2011 |
The information of publication is updating
书目名称Formal Modeling: Actors; Open Systems, Biological Systems影响因子(影响力)
书目名称Formal Modeling: Actors; Open Systems, Biological Systems影响因子(影响力)学科排名
书目名称Formal Modeling: Actors; Open Systems, Biological Systems网络公开度
书目名称Formal Modeling: Actors; Open Systems, Biological Systems网络公开度学科排名
书目名称Formal Modeling: Actors; Open Systems, Biological Systems被引频次
书目名称Formal Modeling: Actors; Open Systems, Biological Systems被引频次学科排名
书目名称Formal Modeling: Actors; Open Systems, Biological Systems年度引用
书目名称Formal Modeling: Actors; Open Systems, Biological Systems年度引用学科排名
书目名称Formal Modeling: Actors; Open Systems, Biological Systems读者反馈
书目名称Formal Modeling: Actors; Open Systems, Biological Systems读者反馈学科排名
|
|
|
发表于 2025-3-21 18:56:40
