Synthesizing distributed systems
O. Kupermann, M.Y. Varfi • ACM/IEEE Symposium on Logic in Computer Science (LICS)
(2002)
In system synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. When the system is distributed, the goal is to construct the system's underlying processes. Results on multi-player games imply...
OPENALEX
DOI:
https://doi.org/10.1109/lics.2001.932514