Algebraic Theory of Processes pdf epub mobi txt 电子书下载 2025

☆☆☆☆☆

Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics. Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussex, England, until 2008. Since then, Hennessy has held a professorship at the Department of Computer Science, Trinity College, Dublin. Hennessy's research interests are in the area of the semantic foundations of programming and specification languages, particularly involving distributed computing, including mobile computing. He also has an interest in verification tools.

出版者:MIT Press

作者:[英]Matthew Hennessy

出品人:

页数:272

译者:

出版时间:1988-6

价格:USD 52.48

装帧:Hardcover

isbn号码:9780262081719

丛书系列:Foundations of Computing

图书标签:

计算机科学
Formal_Methods
Concurrency

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science. It develops the mathematical foundations of the algebraic approach to the formal semantics of languages and applies these ideas to a particular semantic theory of distributed processes.

The book is unique in developing three complementary views of the semantics of concurrent processes: a behavioral view where processes are deemed to be equivalent if they cannot be distinguished by any experiment; a denotational model where processes are interpreted as certain kinds of trees; and a proof-theoretic view where processes may be transformed into equivalent processes using valid equations or transformations. It is an excellent guide on how to reason about and relate behavioral, denotational, and proof-theoretical aspects of languages in general: all three views are developed for a sequence of increasingly complex algebraic languages for concurrency and in each case they are shown to be equivalent.

Algebraic Theory of Processes is a valuable source of information for theoretical computer scientists, not only as an elegant and comprehensive introduction to the field but also in its discussion of the author's own theory of the behavioral semantics of processes ("testing equivalence") and original results in example languages for distributed processes, It is self-contained; the problems addressed are motivated from the standpoint of computer science, and all the required algebraic concepts are covered. There are exercises at the end of each chapter.