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: | Aug 2012 |
Publisher: | Birkhauser Verlag
|
Book Format: | Hardback |
List Price: | AUD $179.95 |
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.