Lermer, K.; Strooper, P. Refinement and state machine abstraction. (English) Zbl 0989.68088 Theor. Comput. Sci. 266, No. 1-2, 195-235 (2001). MSC: 68Q60 PDFBibTeX XMLCite \textit{K. Lermer} and \textit{P. Strooper}, Theor. Comput. Sci. 266, No. 1--2, 195--235 (2001; Zbl 0989.68088) Full Text: DOI
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana On the correctness of modular systems. (English) Zbl 0874.68065 Theor. Comput. Sci. 140, No. 1, 139-177 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Navarro} et al., Theor. Comput. Sci. 140, No. 1, 139--177 (1995; Zbl 0874.68065) Full Text: DOI
Heibig, A. G. Control machines: A new model of parallelism for compositional specifications and their effective compilation. (English) Zbl 0738.68028 Theor. Comput. Sci. 87, No. 1, 43-80 (1991). Reviewer: S.Miura (Okazaki / Aichi) MSC: 68Q10 68N20 68N99 PDFBibTeX XMLCite \textit{A. G. Heibig}, Theor. Comput. Sci. 87, No. 1, 43--80 (1991; Zbl 0738.68028) Full Text: DOI
Parisi-Presicce, Francesco Foundations of rule-based design of modular systems. (English) Zbl 0753.68069 Theor. Comput. Sci. 83, No. 1, 131-155 (1991). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 68Q65 68Q60 68Q42 68N99 PDFBibTeX XMLCite \textit{F. Parisi-Presicce}, Theor. Comput. Sci. 83, No. 1, 131--155 (1991; Zbl 0753.68069) Full Text: DOI