Algebraic Theory of Processes 豆 0.0分

资源最后更新于 2020-08-23 08:22:17

作者：[英]Matthew Hennessy

出版社：MIT Press

出版日期：1988-01

ISBN：9780262081719

文件格式： pdf

标签： 计算机科学 Formal_Methods Concurrency

简介· · · · · ·

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 uniqu...