S. Abiteboul, R. Hull and V. Vianu, Foundations of Databases, Addison-Wesley, 1995.
G. v. Bochmann and P. M. Merlin, On the construction of communication protocols, ICCC, 1980, pp. 371–378, reprinted in “Communication Protocol Modeling”, edited by C. Sunshine, Artech House Publ., 1981; russian translation: Problems of Intern. Center for Science and Techn. Information, Moscow, 1981, no. 2, pp. 146–155.
G. v. Bochmann, Submodule construction-the inverse of composition, Technical Report, Sept. 2001, University of Ottawa.
B. A. Brandin and W. M. Wonham, Supervisory Control of Timed Discrete-Event Systems, IEEE Tran, on Automatic Control, Vol. 39, No. 2, Feb. 1994.
J. Drissi and G. v. Bochmann, Submodule construction tool, in Proc. Int. Conf. on Computational Intelligence for Modelling, Control and Automation, Vienne, Febr. 1999, (M. Mohammadian, Ed.), IOS Press, pp. 319–324.
J. Drissi and G. v. Bochmann, Submodule construction for systems of I/O automata, submitted for publication.
J. Drissi and G. v. Bochmann, Submodule construction for systems of timed I/O automata, submitted for publication, see also J. Drissi, PhD thesis, University of Montreal, March 2000 (in French).
E. Haghverdi and H. Ural, Submodule construction from concurrent system specifications, Information and Software Technology, Vo. 41 (1999), pp. 499–506.CrossRefGoogle Scholar
C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.
S. G. H. Kelekar, Synthesis of protocols and protocol converters using the submodule construction approach, Proc. PSTV, XIII, A. Danthine et al (Eds), 1994.
T. Kim, T. Villa, K. Brayton, A.Sangiovanni-Vincentelli. Synthesis of FSMs: functional optimization. Kluwer Academic Publishers, 1997.
D. Maier, The Theory of Relational Databases, Computer Science Press, Rockville, Maryland, 1983.MATHGoogle Scholar
O. Maler, A. Pnueli and J. Sifakis, On the synthesis of discrete controllers for timed systems, STACS 95, Annual Symp. on Theoretical Aspects of Computer Science, Berlin, 1995, Springer Verlag, pp. 229–242.
P. Merlin and G. v. Bochmann, On the Construction of Submodule Specifications and Communication Protocols, ACM Trans, on Programming Languages and Systems, Vol. 5, No. 1 (Jan. 1983), pp. 1–25.MATHCrossRefGoogle Scholar
J. Parrow, Submodule Construction as Equation Solving in CCS, Theoretical Computer Science, Vol. 68, 1989.
A. Petrenko, N. Yevtushenko, G. v. Bochmann and R. Dssouli, Testing in context: framework and test derivation, Computer Communications Journal, Special issue on Protocol engineering, Vol. 19, 1996, pp. 1236–1249.Google Scholar
A. Petrenko and N. Yevtushenko, Solving asynchronous equations, in Proc. ofIFIP FORTE/PSTV’98 Conf, Paris, Chapman-Hall, 1998.Google Scholar
H. Qin and P. Lewis, Factorisation of finite state machines under strong and observational equivalences, J. of Formal Aspects of Computing, Vol. 3, pp. 284–307, 1991.CrossRefGoogle Scholar
P. J. G. Ramadge and W. M. Wonham, The control of discrete event systems, in Proceedings of the IEEE, Vo. 77, No. 1 (Jan. 1989).
Z. Tao, G. v. Bochmann and R. Dssouli, A formal method for synthesizing optimized protocol converters and its application to mobile data networks, Mobile Networks & Applications, vol. 2, no. 3, 1997, pp. 259–69. Publisher: Baltzer; ACM Press, Netherlands.Google Scholar
Z. P. Tao, G. v. Bochmann and R. Dssouli, A model and an algorithm of subsystem construction, in proceedings of the Eighth International Conference on parallel and distributed computing systems, Sept. 21–23, 1995 Orlando, Florida, USA, pp. 619–622.
J. G. Thistle, On control of systems modelled as deterministic Rabin automata, Discrete Event Dynamic Systems: Theory and Applications, Vol. 5, No. 4 (Sept. 1995), pp. 357–381.MATHCrossRefGoogle Scholar
N. Yevtushenko, T. Villa, R. Brayon, A. Petrenko, A. Sangiovanni-Vincentelli. Synthesis by language equation solving (exended abstract), in Proc. of Annual Intern.workshop on Logic Snthesis, 2000, 11–14; complete paper to be published in ICCAD’2001; see also Solving Equations in Logic Synthesis, Technical Report, Tomsk State University, Tomsk, 1999,27 p. (in Russian).