{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:41Z","timestamp":1725483761399},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_36","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:28:20Z","timestamp":1178357300000},"page":"405-414","source":"Crossref","is-referenced-by-count":24,"title":["Regular Collections of Message Sequence Charts"],"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":[[2001,6,1]]},"reference":[{"issue":"2","key":"36_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":"36_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":"36_CR3","series-title":"Lect Notes Comput Sci","first-page":"259","volume-title":"Proc. TACAS\u201997","author":"B.-A. H","year":"1997","unstructured":"Ben-Abdallah, H., and Leue, S.: Syntactic detection of process divergence and nonlocal choice in message sequence charts. Proc. TACAS\u201997, LNCS 1217, Springer-Verlag (1997) 259\u2013274."},{"key":"36_CR4","unstructured":"Booch, G., Jacobson, I., and Rumbaugh, J.: Unified Modeling Language User Guide. Addison-Wesley (1997)."},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J. R. B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J. R.: On a decision method in restricted second order arithmetic. Z. Math. Logik Grundlag. Math\n                           6 (1960) 66\u201392.","journal-title":"Z. Math. Logik Grundlag. Math"},{"key":"36_CR6","unstructured":"Damm, W., and Harel, D.: LCSs: Breathing life into message sequence charts. Proc. FMOODS\u201999, Kluwer Academic Publishers (1999) 293\u2013312."},{"key":"36_CR7","doi-asserted-by":"crossref","unstructured":"Diekert, V., and Rozenberg, G. (Eds.): The book of traces. World Scientific (1995).","DOI":"10.1142\/2563"},{"issue":"1","key":"36_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(95)00130-1","volume":"154","author":"W. Ebinger","year":"1996","unstructured":"Ebinger, W., and Muscholl, A.: Logical definability on infinite traces. Theoretical Computer Science\n                           154(1) (1996) 67\u201384.","journal-title":"Theoretical Computer Science"},{"key":"36_CR9","unstructured":"Harel, D., and Gery, E.: Executable object modeling with statecharts. IEEE Computer, July 1997 (1997) 31\u201342."},{"key":"36_CR10","volume-title":"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, Report RS-99-52, BRICS, Department of Computer Science, University of Aarhus, Denmark (1999)."},{"key":"36_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Proc. ICALP\u20192000","author":"J. G. Henriksen","year":"2000","unstructured":"Henriksen, J. G., Mukund, M., Narayan Kumar, K., and Thiagarajan, P. S.: On message sequence graphs and finitely generated regular MSC languages, Proc. ICALP\u20192000, LNCS 1853, Springer-Verlag (2000)."},{"key":"36_CR12","unstructured":"ITU-TS Recommendation Z. 120: Message Sequence Chart (MSC). ITU-TS, Geneva (1997)"},{"issue":"5","key":"36_CR13","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P. B. Ladkin","year":"1995","unstructured":"Ladkin, P. B., and Leue, S.: Interpreting message flow graphs. Formal Aspects of Computing\n                           7(5) (1995) 473\u2013509.","journal-title":"Formal Aspects of Computing"},{"key":"36_CR14","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":"36_CR15","doi-asserted-by":"crossref","unstructured":"Mauw, S., and Reniers, M. A.: High-level message sequence charts, Proc. SDL\u2019 97, Elsevier (1997) 291\u2013306.","DOI":"10.1016\/B978-044482816-3\/50020-4"},{"key":"36_CR16","unstructured":"Mukund, M., Narayan Kumar, K., and Sohoni, M.: Keeping track of the latest gossip in message-passing systems. Proc. Structures in Concurrency Theory (STRICT), Workshops in Computing Series, Springer-Verlag (1995) 249\u2013263."},{"key":"36_CR17","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":"36_CR18","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":"36_CR19","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":"36_CR20","doi-asserted-by":"crossref","unstructured":"Thiagarajan, P. S., and Walukiewicz, I: An expressively complete linear time temporal logic for Mazurkiewicz traces. Proc. IEEE LICS\u201997 (1997) 183\u2013194.","DOI":"10.1109\/LICS.1997.614946"},{"key":"36_CR21","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on infinite objects. In van Leeuwen, J. (Ed.), Handbook of Theoretical Computer Science, Volume B, North-Holland (1990) 133\u2013191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"36_CR22","unstructured":"Vardi, M. Y., and Wolper, P.: An automata-theoretic approach to automatic program verification. In Proc. IEEE LICS\u201986 (1986) 332\u2013344."},{"key":"36_CR23","first-page":"99","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"Zielonka, W.: Notes on finite asynchronous automata. R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl., 21 (1987) 99\u2013135.","journal-title":"R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T09:27:51Z","timestamp":1550309271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_36","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}