Notes on "Distributed reactive systems are hard to synthesize"
The original theorem of undecidability of distributed reactive systems appears in Distributed reactive systems are hard to synthesize. Here I'd like to share some thoughts on the proof sketch presented in the the paper.
looks like the following trick can be used to reuse the proof of sync distr undecidability for proving _async distr undecidability -- env can be used to provide global ticks and processes should just "synchronize" on it.
looks like the following trick can be used to reuse the proof of sync distr undecidability for proving _async distr undecidability -- env can be used to provide global ticks and processes should just "synchronize" on it.
ReplyDelete