There's a bounded system S (halting is decidable) that can be used to model reliable asynchronous communication and unreliable asynchronous communication. Are there any applications to use this system to resolve security problems in distributed systems?

  • $\begingroup$ Can you give more details about $S$? Also, why do you expect there to be such applications? $\endgroup$ Apr 3 at 9:32

This site is temporarily in read only mode and not accepting new answers.

Browse other questions tagged .