{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:22:11Z","timestamp":1725495731039},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677154"},{"type":"electronic","value":"9783540450221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45022-x_57","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:57:25Z","timestamp":1194998245000},"page":"675-686","source":"Crossref","is-referenced-by-count":33,"title":["On Message Sequence Graphs and Finitely Generated Regular MSC Languages"],"prefix":"10.1007","author":[{"given":"Jesper G.","family":"Henriksen","sequence":"first","affiliation":[]},{"given":"Madhavan","family":"Mukund","sequence":"additional","affiliation":[]},{"given":"K. Narayan","family":"Kumar","sequence":"additional","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,18]]},"reference":[{"issue":"2","key":"57_CR1","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., and Peled, D.: An analyzer for message sequence charts. Software Concepts and Tools, 17(2) (1996) 70\u201377.","journal-title":"Software Concepts and Tools"},{"key":"57_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48320-9_10","volume-title":"Proc. CONCUR\u201999","author":"R. Alur","year":"1999","unstructured":"Alur, R., and Yannakakis, M.: Model checking of message sequence charts. Proc. CONCUR\u201999, LNCS 1664, Springer Verlag (1999) 114\u2013129."},{"key":"57_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BFb0035393","volume-title":"Proc. TACAS\u201997","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., and Leue, S.: Syntactic detection of process divergence and non-local choice in message sequence charts. Proc. TACAS\u201997, LNCS 1217, Springer-Verlag (1997) 259\u2013274."},{"key":"57_CR4","unstructured":"Booch, G., Jacobson, I., and Rumbaugh, J.: Unified Modeling Language User Guide. Addison Wesley (1997)."},{"key":"57_CR5","doi-asserted-by":"crossref","unstructured":"Diekert, V., and Rozenberg, G. (Eds.): The book of traces. World Scientific (1995).","DOI":"10.1142\/2563"},{"key":"57_CR6","unstructured":"Harel, D., and Gery, E.: Executable object modeling with statecharts. IEEE Computer, July 1997 (1997) 31\u201342."},{"key":"57_CR7","volume-title":"BRICS Report RS-99-52","author":"J.G. Henriksen","year":"1999","unstructured":"Henriksen, J.G., Mukund, M., Narayan Kumar, K., and Thiagarajan, P.S.: Towards a theory of regular MSC languages. BRICS Report RS-99-52, Department of Computer Science, Aarhus University, Denmark (1999)."},{"key":"57_CR8","unstructured":"ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva (1997)"},{"issue":"5","key":"57_CR9","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P.B. Ladkin","year":"1975","unstructured":"Ladkin, P.B., and Leue, S.: Interpreting message flow graphs. Formal Aspects of Computing 7(5) (1975) 473\u2013509.","journal-title":"Formal Aspects of Computing"},{"key":"57_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1007\/BFb0030632","volume-title":"Proc. TAPSOFT\u201997","author":"V. Levin","year":"1997","unstructured":"Levin, V., and Peled, D.: Verification of message sequence charts via template matching. Proc. TAPSOFT\u201997, LNCS 1214, Springer-Verlag (1997) 652\u2013666."},{"key":"57_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-49019-1_19","volume-title":"Proc. FOSSACS\u201999","author":"A. Muscholl","year":"1999","unstructured":"Muscholl, A.: Matching specifications for message sequence charts. Proc. FOSSACS\u201999, LNCS 1578, Springer-Verlag (1999) 273\u2013287."},{"key":"57_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/3-540-48340-3_8","volume-title":"Proc. MFCS\u201999","author":"A. Muscholl","year":"1999","unstructured":"Muscholl, A., and Peled, D.: Message sequence graphs and decision problems on Mazurkiewicz traces. Proc. MFCS\u201999, LNCS 1672, Springer-Verlag (1999) 81\u201391."},{"key":"57_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BFb0053553","volume-title":"Proc. FOSSACS\u201998","author":"A. Muscholl","year":"1998","unstructured":"Muscholl, A., Peled, D., and Su, Z.: Deciding properties for message sequence charts. Proc. FOSSACS\u201998, LNCS 1378, Springer-Verlag (1998) 226\u2013242."},{"key":"57_CR14","doi-asserted-by":"crossref","unstructured":"Rudolph, E., Graubmann, P., and Grabowski, J.: Tutorial on message sequence charts. In Computer Networks and ISDN Systems\u2014SDL and MSC, Volume 28 (1996).","DOI":"10.1016\/0169-7552(95)00122-0"},{"key":"57_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/BFb0023848","volume-title":"Proc. LATIN\u201992","author":"J. Sakarovitch","year":"1992","unstructured":"Sakarovitch, J.: The \u201clast\u201d decision problem for rational trace languages. Proc. LATIN\u201992, LNCS 583, Springer-Verlag (1992) 460\u2013473."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45022-X_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T01:41:14Z","timestamp":1548380474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45022-X_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677154","9783540450221"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45022-x_57","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}