1. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures; Part II: State spaces of concurrent systems. Acta Informatica 27, 343–368 (1990)
2. Go, K., Shiratori, N.: A decomposition of a formal specification: An improved constraint-oriented method. IEEE Trans. Software Engineering 25(2), 258–273 (1999)
3. Kiyamura, S., Takata, Y., Seki, H.: A method of decomposing a labeled transition system into parallel processes. Trans. of Inform. Processing Society Japan 42(12), 2992–3003 (2001) (in Japanese)
4. Kiyamura, S., Takata, Y., Seki, H.: Process decmposition via synchronization events and its application to counter-process decomposition, Technical Report of IEICE, SS2003-4, pp. 19– 24 (2003)
5. Langerak, R.: Decomposition of functionality: A correctness preserving lotos transformation. In: Protocol Specification, Testing and Verification (PSTV) X, pp. 229–242 (1990)