{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:08:11Z","timestamp":1742386091427},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_2","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"17-33","source":"Crossref","is-referenced-by-count":4,"title":["Submodule Construction for Specifications with Input Assumptions and Output Guarantees"],"prefix":"10.1007","author":[{"given":"Gregor v.","family":"Bochmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Lamport, Conjoining specifications, ACM Transactions on Programming Languages & Systems, vol.17, no.3, May 1995, pp. 507\u201334.","journal-title":"ACM Transactions on Programming Languages & Systems"},{"key":"2_CR2","unstructured":"S. Abiteboul, R. Hull and V. Vianu, Foundations of Databases, Add.-Wesley, 1995."},{"key":"2_CR3","unstructured":"G. v. Bochmann and P. M. Merlin, On the construction of communication protocols, ICCC, 1980, pp.371\u2013378, reprinted in \u201cCommunication Protocol Modeling\u201d, 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\u2013155."},{"key":"2_CR4","unstructured":"G. v. Bochmann, Submodule construction-the inverse of composition, Technical Report, Sept.2001, University of Ottawa."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"G. v. Bochmann, Submodule construction and supervisory control: a generalization, to appear in Proc. of Int. Conf. on Implementation and Applications of Automata (invited paper), August2001, Pretoria, South Africa, to be published as Springer Lecture Notes.","DOI":"10.1007\/3-540-36390-4_3"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"M. Broy, Advanced component interface specification, Proc. TPPP\u201994, Lecture Notesin CS 907, 1995, pp. 369\u2013392.","DOI":"10.1007\/BFb0026580"},{"key":"2_CR7","unstructured":"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\u2013324."},{"key":"2_CR8","unstructured":"J. Drissi and G. v. Bochmann, Submodule construction for systems of timed I\/O automata, submitted for publication, see also J. Drissi, PhD thesis, Univ. of Montreal, March 2000 (in French)."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1016\/S0950-5849(99)00014-2","volume":"41","author":"E. Haghverdi","year":"1999","unstructured":"E. Haghverdi and H. Ural, Submodule construction from concurrent system specifications, Information and Software Technology, Vo. 41 (1999), pp. 499\u2013506.","journal-title":"Information and Software Technology"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare, Communicating Sequential Processes, Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"2_CR11","unstructured":"S. G. H. Kelekar, Synthesis of protocols and protocol converters using the submodule construction approach, Proc. PSTV, XIII, A. Danthineet al (Eds), 1994."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"J. Kim, and M.M. Newborn, The simplification of sequential machines with input restrictions, IRE Trans. on Electronic Computers. December, 1972, pp. 1440\u20131443.","DOI":"10.1109\/T-C.1972.223521"},{"key":"2_CR13","unstructured":"T. Kim, T. Villa, R. Brayton, A. Sangiovanni-Vincentelli. Synthesis of FSMs: functional optimization. Kluwer Academic Publishers, 1997."},{"issue":"3","key":"2_CR14","first-page":"219","volume":"2","author":"N. A. Lynch","year":"1989","unstructured":"N. A. Lynch and M. R. Tuttle, An introduction to input\/output automata, CWI Quarterly, 2(3), 1989, pp. 219\u2013246.","journal-title":"CWI Quarterly"},{"key":"2_CR15","volume-title":"The Theory of Relational Databases","author":"D. Maier","year":"1983","unstructured":"D. Maier, The Theory of Relational Databases, Computer Science Press, Rockville, Maryland, 1983."},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P. Merlin","year":"1983","unstructured":"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\u201325.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"J. Misra and K. M. Chandy, Proofs of networks of processes, IEEE Tr. on SE, Vol. SE-7(July1991), pp. 417\u2013426.","DOI":"10.1109\/TSE.1981.230844"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"J. Parrow, Submodule Construction as Equation Solving in CCS, Theoretical Computer Science, Vol. 68, 1989.","DOI":"10.1016\/0304-3975(89)90128-X"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1016\/S0140-3664(96)01157-7","volume":"19","author":"A. Petrenko","year":"1996","unstructured":"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\u20131249.","journal-title":"Computer Communications Journal"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"A. Petrenko and N. Yevtushenko, Solving asynchronous equations, in Proc. of IFIP FORTE\/PSTV\u201998 Conf., Paris, Chapman-Hall, 1998.","DOI":"10.1007\/978-0-387-35394-4_15"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/BF01245634","volume":"3","author":"H. Qin","year":"1991","unstructured":"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\u2013307, 1991.","journal-title":"J. of Formal Aspects of Computing"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.1109\/5.21072"},{"key":"2_CR23","unstructured":"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 Synthesis, 2000, 11\u201314; complete paper to be published in ICCAD\u20192001; see also Solving Equations in Logic Synthesis, Technical Report, Tomsk State University \u2022,\u2022 1999, 27p. (in Russian)."},{"issue":"4","key":"2_CR24","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","volume":"COM-28","author":"P. Zafiropulo","year":"1980","unstructured":"P. Zafiropulo, C. H. West, H. Rudin and D. D. Cowan, Towards analyzing and synthesizing protocols, IEEE Tr. Comm. COM-28, 4 (April 1980), pp. 651\u2013660.","journal-title":"IEEE Tr. Comm."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:44:57Z","timestamp":1683863097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}