This book presents a solution to the synthesis problem of distributed systems. It provides a complete characterization of the system architectures for which an automatic synthesis is feasible and presents a uniform decision procedure for all decidable cases.
Synthesis of Distributed Systems
- 作者： Schewe, Sven
- 出版社： Baker & Tayl
- 出版日期： 2014-05-29
- ISBN碼： 9783034802420
- 編號： 203c308777055
$ 5,494 元
原價 6,104
-
$5,494