Synthesis of Distributed Systems |
|
| Author:
| Schewe, Sven
Fearnley, John |
| Series title: | Progress in Computer Science and Applied Logic Ser. |
| ISBN: | 978-3-0348-0242-0 |
| Publication Date: | Jul 2018 |
| Publisher: | Birkhauser Verlag
|
| Book Format: | Hardback |
| List Price: | USD $109.00 |
Book Description:
|
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.
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.