1. Experiments.
https://github.com/istoilkovska/syncTA
2. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: LICS, pp. 313–321 (1996)
3. Lecture Notes in Computer Science;B Aminof,2018
4. Lecture Notes in Computer Science;B Aminof,2015
5. Attiya, H., Welch, J.: Distributed Computing, 2nd edn. Wiley, Hoboken (2004)