摘要 : In contrast to the breakthroughs in reactive synthesis of monolithic systems, distributed synthesis is not yet practical. Compositional approaches can be a key technique for scalable algorithms. Here, the challenge is to decompose... 展开
作者 | Finkbeiner~ Bernd Passing~ Noemi |
---|---|
作者单位 | |
期刊名称 | 《Innovations in Systems and Software Engineering》 |
总页数 | 15 |
语种/中图分类号 | 英语 / TP312 |
关键词 | Compositional synthesis Bounded synthesis Reactive systems Distributed systems |
馆藏号 | N2008EPST0013316 |