{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:42Z","timestamp":1725557862559},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_24","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T14:52:22Z","timestamp":1277218342000},"page":"367-382","source":"Crossref","is-referenced-by-count":7,"title":["Progressive Solutions to a Parallel Automata Equation"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Buffalov","sequence":"first","affiliation":[]},{"given":"Khaled","family":"El-Fakih","sequence":"additional","affiliation":[]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[]},{"given":"Gregor v.","family":"Bochmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"24_CR1","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1023\/A:1008301317459","volume":"8","author":"G. Barrett","year":"1998","unstructured":"Barrett, G., Lafortune, S.: Bisimulation: The Supervisory Control Problem, and Strong Model Matching for Finite State Machines. Discrete Event Dynamic Systems: Theory and Application\u00a08(4), 377\u2013429 (1998)","journal-title":"Discrete Event Dynamic Systems: Theory and Application"},{"key":"24_CR2","unstructured":"Bochmann G.v., Merlin, P.: On the Construction of Communication Protocols. In: ICCC, pp. 371\u2013378 (1980); reprinted in: Sunshine, C. (ed.): Communication Protocol Modeling. Artech House Publ. (1981)"},{"key":"24_CR3","unstructured":"Drissi, J., Bochmann, G.v.: Submodule Construction for Systems of I\/O Automata, \n                  \n                    ftp:\/\/beethoven.site.uottawa.ca\/Publications\/Dris99b.pdf"},{"key":"24_CR4","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"24_CR5","unstructured":"Kelekar, S.G.H.: Synthesis of Protocols and Protocol Converters Using the Submodule Construction Approach. In: Danthine, A., et al. (eds.) Proc. PSTV, XIII (1994)"},{"issue":"3","key":"24_CR6","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1023\/A:1008258331497","volume":"7","author":"R. Kumar","year":"1997","unstructured":"Kumar, R., Nelvagal, S., Marcus, S.I.: A Discrete Event Systems Approach for Protocol Conversion. Discrete Event Dynamical Systems: Theory and Applications\u00a07(3), 295\u2013315 (1997)","journal-title":"Discrete Event Dynamical Systems: Theory and Applications"},{"issue":"1","key":"24_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P. Merlin","year":"1983","unstructured":"Merlin, P., Bochmann, G.v.: On the Construction of Submodule Specifications and Communication Protocols. ACM Trans. On Programming Languages and Systems\u00a05(1), 1\u201325 (1983)","journal-title":"ACM Trans. On Programming Languages and Systems"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Parrow, J.: Submodule Construction as Equation Solving in CCS. Theoretical Computer Science\u00a068 (1989)","DOI":"10.1016\/0304-3975(89)90128-X"},{"key":"24_CR9","volume-title":"Proc. of IFIP FORTE\/PSTV 1998 Conf.","author":"A. Petrenko","year":"1998","unstructured":"Petrenko, A., Yevtushenko, N.: Solving Asynchronous Equations. In: Proc. of IFIP FORTE\/PSTV 1998 Conf., Chapman-Hall, Boca Raton (1998)"},{"key":"24_CR10","first-page":"1236","volume":"19","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., Bochmann, G.v., Dssouli, R.: Testing in Context: Framework and Test Derivation. Computer Communications Journal, Special issue on Protocol engineering\u00a019, 1236\u20131249 (1996)","journal-title":"Computer Communications Journal, Special issue on Protocol engineering"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/BF01245634","volume":"3","author":"H. Qin","year":"1991","unstructured":"Qin, H., Lewis, P.: Factorisation of Finite State machines Under Strong and Observational Equivalences. Journal of Formal Aspects of Computing\u00a03, 284\u2013307 (1991)","journal-title":"Journal of Formal Aspects of Computing"},{"issue":"3","key":"24_CR12","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1013692902855","volume":"2","author":"Z. Tao","year":"1997","unstructured":"Tao, Z., Bochmann, G.v., Dssouli, R.: A Formal Method for Synthesizing Optimized Protocol Converters and its Application to Mobile Data Networks. Mobile Networks & Applications\u00a02(3), 259\u2013269 (1997)","journal-title":"Mobile Networks & Applications"},{"issue":"3","key":"24_CR13","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1137\/0325036","volume":"25","author":"W.M. Wonham","year":"1987","unstructured":"Wonham, W.M., Ramadge, P.J.: On the Supremal Controllable Sublanguage of a Given Language. SIAM J. Control. Optim.\u00a025(3), 637\u2013659 (1987)","journal-title":"SIAM J. Control. Optim."},{"key":"24_CR14","unstructured":"Yevtushenko, N., Villa, T., Brayton, R.K., Petrenko, A., Sangiovanni-Vincentelli, A.: Solving a Parallel Language Equation. In: Proc. of the ICCAD 2001, USA (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T19:20:41Z","timestamp":1552591241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}