反馈文件质量
lgli/dvd53/Bergstra J. A. (Ed), Ponse A. (Ed) - Handbook of Process Algebra(2001)(1342).pdf
Handbook of process algebra $c 🔍
J. A. Bergstra, A. Ponse, S. A. Smolka, Scott A. Smolka Elsevier Science & Technology Books, 1st ed., Amsterdam, New York, Netherlands, 2001
英语 [en] · PDF · 64.8MB · 2001 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra.
This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters.
The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.
备用文件名
lgrsnf/dvd53/Bergstra J. A. (Ed), Ponse A. (Ed) - Handbook of Process Algebra(2001)(1342).pdf
备用文件名
nexusstc/Handbook of Process Algebra/67791124fbb69c6c4fcac449cc2256c1.pdf
备用文件名
zlib/Computers/J.A. Bergstra, A. Ponse, S.A. Smolka/Handbook of Process Algebra_493188.pdf
备选作者
edited by J.A. Bergstra, A. Ponse, S.A. Smolka
备选作者
ed. by J. A. Bergstra, A. Ponse, S. A. Smolka
备选作者
Bergstra, J. A.; Ponse, A.; Smolka, S. A.
备选作者
J. A. Bergstra; Alban Ponse
备用出版商
Wolters Kluwer Legal & Regulatory U.S.
备用出版商
Woodhead Publishing Ltd
备用出版商
John Murray Press
备用出版商
Aspen Publishers
备用出版商
Focal Press
备用版本
United Kingdom and Ireland, United Kingdom
备用版本
United States, United States of America
备用版本
Amsterdam [etc.], Netherlands, 2001
备用版本
First edition, Paises Bajos, 2001
备用版本
Elsevier Ltd., Amsterdam, 2001
备用版本
February 1, 2001
备用版本
Burlington, 2001
备用版本
2, 03/2001
元数据中的注释
mexmat -- 53
元数据中的注释
lg60979
元数据中的注释
{"edition":"1","isbns":["0080533671","0444828303","9780080533674","9780444828309"],"last_page":1357,"publisher":"Elsevier"}
元数据中的注释
Includes bibliographical references and indexes.
元数据中的注释
Указ.
Библиогр. в конце гл.
元数据中的注释
РГБ
元数据中的注释
Russian State Library [rgb] MARC:
=001 002564748
=005 20140417153127.0
=008 050208s2001\\\\ne\||||\r\\\\\0||\u\eng|d
=017 \\ $a И1432-05 $b РГБ
=020 \\ $a 0-444-82830-3
=040 \\ $a RuMoRGB $b rus $e rcr
=041 0\ $a eng
=044 \\ $a ne
=084 \\ $a В15,0 $2 rubbk
=245 00 $a Handbook of process algebra $c ed. by J. A. Bergstra, A. Ponse, S. A. Smolka
=260 \\ $a Amsterdam [etc.] $b Elsevier $c 2001
=300 \\ $a XIV, 1342 с. $b ил., табл. $c 25 см
=500 \\ $a Указ.
=504 \\ $a Библиогр. в конце гл.
=650 \7 $a Физико-математические науки -- Математика -- Алгебра $2 rubbk
=653 \\ $a алгебраические процессы
=700 1\ $a Bergstra, Jan A. $e ред.
=852 4\ $a РГБ $b FB $j 5 05-7/43 $x 90
备用描述
This handbook documents process algebra (a formal description technique for complex computer systems) from its modern inception in the late 1970s to the present. Bergstra and A. Ponse (both of the U. of Amsterdam programming research group) and S.A. Smoka (computer science, State U. of New York present 19 contributions that discuss basic theory, finite-state and infinite-state processes, extensions to process algebra that make it easier to model the kinds of systems that arise in practice, non-interleaving process algebras, and tools and applications. c. Book News Inc
备用描述
sdarticle......Page 1
sdarticle2......Page 6
sdarticle3......Page 8
sdarticle4......Page 105
sdarticle5......Page 200
sdarticle6......Page 296
sdarticle7......Page 334
sdarticle8......Page 391
sdarticle9......Page 425
sdarticle10......Page 477
sdarticle11......Page 542
sdarticle12......Page 621
sdarticle13......Page 679
sdarticle14......Page 705
sdarticle15......Page 760
sdarticle16......Page 864
sdarticle17......Page 936
sdarticle18......Page 1037
sdarticle19......Page 1138
sdarticle20......Page 1196
sdarticle21......Page 1256
sdarticle22......Page 1315
开源日期
2009-07-20
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：Motrix
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。