Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
1903.01368.pdf (Publisher version), 468KB
Fried, D., Legay, A., Ouaknine, J., & Vardi, M. Y. (2022). Sequential Relational Decomposition. Logical Mehods in Computer Science, 18(1): 37, pp. 1-29. doi:10.46298/lmcs-18(1:37)2022.