{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T00:11:25Z","timestamp":1717978285202},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,12,18]],"date-time":"2002-12-18T00:00:00Z","timestamp":1040169600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2003,11]]},"DOI":"10.1007\/s10009-002-0085-2","type":"journal-article","created":{"date-parts":[[2004,3,20]],"date-time":"2004-03-20T15:40:18Z","timestamp":1079797218000},"page":"78-89","source":"Crossref","is-referenced-by-count":15,"title":["Compositional message sequence charts"],"prefix":"10.1007","volume":"5","author":[{"given":"Elsa L.","family":"Gunter","sequence":"first","affiliation":[]},{"given":"Anca","family":"Muscholl","sequence":"additional","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,18]]},"reference":[{"key":"85_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: 22nd International Conference on Software Engineering, Limerick, Ireland. ACM, pp. 304\u2013313, 2000","DOI":"10.1145\/337180.337215"},{"key":"85_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Holzmann, G., Peled, D.: An analyzer for message sequence charts. In: Software Concepts Tools 17(2):70\u201377, 1996","DOI":"10.1007\/3-540-61042-1_37"},{"key":"85_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Peled, D., Penczek, W.: Model checking of causality properties. In: 10th Annual IEEE Symposium on Logic in Computer Science, LICS\u201995, San Diego, Calif., USA, pp. 90\u2013100, 1995","DOI":"10.1109\/LICS.1995.523247"},{"key":"85_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Yannakakis, Y.: Model checking of message sequence charts. In: Concurrency Theory, 10th International Conference, CONCUR\u201999, Eindhoven, The Netherlands, Lecture Notes in Computer Science, vol. 1664. Springer, Berlin Heidelberg New York, 1999, pp. 114\u2013129","DOI":"10.1007\/3-540-48320-9_10"},{"key":"85_CR5","first-page":"25","volume":"14","author":"Bolognesi,","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Comput Networks 14:25\u201359, 1987","journal-title":"Comput Networks"},{"key":"85_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, E., Hansel, D, Rossmanith P, Schwoon S.: Efficient algorithms for model checking pushdown systems. In: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, Ill., USA, Lecture Notes in Computer Science, vol. 1855. Springer, Berlin Heidelberg New York, 2000, pp. 232\u2013247","DOI":"10.1007\/10722167_20"},{"key":"85_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Partial-order methods for the verification of concurrent systems \u2013 an approach to the state-explosion problem. Lecture Notes in Computer Science, vol. 1035. Springer, Berlin Heidelberg New York, 1996","DOI":"10.1007\/3-540-60761-7"},{"key":"85_CR8","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Wolper, P.: A partial approach to model checking. In: Inf Comput 110(2):305\u2013326, 1994","DOI":"10.1006\/inco.1994.1035"},{"key":"85_CR9","doi-asserted-by":"crossref","unstructured":"Gunter, E., Peled, D.: Path exploration tool. In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS \u201999, Amsterdam, The Netherlands, Lecture Notes in Computer Science, vol. 1579. Springer, Berlin Heidelberg New York, 1999, pp. 405\u2013419","DOI":"10.1007\/3-540-49059-0_28"},{"key":"85_CR10","unstructured":"Haugen, O.: Special issue of computer networks and ISDN systems on SDL and MSC, 1996"},{"key":"85_CR11","unstructured":"H\u00e9lou\u00ebt, L., Le Maigat, P.: Decomposition of message sequence charts. In: 2nd Workshop on SDL and MSC, SAM 2000, Grenoble, France, pp. 46\u201360, 2000"},{"key":"85_CR12","doi-asserted-by":"crossref","unstructured":"Henriksen, J., Mukund, M., Narayan Kumar, K., Thiaga- rajan, P.: On message sequence graphs and finitely generated regular MSC languages. In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, Lecture Notes in Computer Science, vol. 1853. Springer, Berlin Heidelberg New York, 2000, pp. 675-686","DOI":"10.1007\/3-540-45022-X_57"},{"key":"85_CR13","unstructured":"ITU-T Recommendation Z.120.: Message sequence chart (MSC), Geneva, 1996"},{"key":"85_CR14","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"Lamport,","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Comm ACM 21:558\u2013565, 1978","journal-title":"Comm ACM"},{"key":"85_CR15","doi-asserted-by":"crossref","unstructured":"Madhusudan, P.: Reasoning about sequential and branching behaviours of message sequence graphs. In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, Lecture Notes in Computer Science, vol. 2076. Springer, Berlin Heidelberg New York, 2001, pp. 809\u2013820","DOI":"10.1007\/3-540-48224-5_66"},{"key":"85_CR16","doi-asserted-by":"crossref","unstructured":"Mauw, S., Reniers, M.: High-level message sequence charts. In: SDL\u201997: Time for Testing - SDL, MSC and Trends. Proc. SDL Forum\u201997, 291\u2013306, 1997","DOI":"10.1016\/B978-044482816-3\/50020-4"},{"key":"85_CR17","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Peled, D.: Message sequence graphs and decision problems on Mazurkiewicz traces. In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS\u201999, Szklarska Poreba, Poland, Lecture Notes in Computer Science, vol. 1999. Springer, Berlin Heidelberg New York, 1999, pp. 81\u201391","DOI":"10.1007\/3-540-48340-3_8"},{"key":"85_CR18","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Peled, D., Su, Z.: Deciding properties of message sequence charts. In: Foundations of Software Science and Computation Structure, 1st International Conference, FoSSaCS\u201998, Lisbon, Portugal, Lecture Notes in Computer Science, vol. 1378. Springer, Berlin Heidelberg New York, 1998, pp. 226\u2013242","DOI":"10.1007\/BFb0053553"},{"key":"85_CR19","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Peled, D.: High-level message sequence charts and finite-state communication protocols. In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, Lecture Notes in Computer Science, vol. 2076. Springer, Berlin Heidelberg New York, 2001, pp. 720\u2013731","DOI":"10.1007\/3-540-48224-5_59"},{"key":"85_CR20","doi-asserted-by":"crossref","unstructured":"Peled, D.: All from one, one for all: on model checking using representatives. In: Computer-Aided Verification, 5th International Conference, CAV \u201993, Elounda, Greece, Lecture Notes in Computer Science, vol. 697. Springer, Berlin Heidelberg New York, 1993, pp. 409\u2013423","DOI":"10.1007\/3-540-56922-7_34"},{"key":"85_CR21","doi-asserted-by":"crossref","unstructured":"Peled, D.: Specification and verification of message sequence charts. In: Formal Techniques for Distributed System Development, FORTE\/PSTV 2000, Pisa, Italy. Kluwer, Boston, Mass., USA, pp. 139\u2013154, 2000","DOI":"10.1007\/978-0-387-35533-7_9"},{"key":"85_CR22","unstructured":"Tanenbaum, A.: Computer Networks. Prentice-Hall, Englewood Cliffs, N.J., USA, 1998"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-002-0085-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-002-0085-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-002-0085-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:17Z","timestamp":1559114717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-002-0085-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,18]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,11]]}},"alternative-id":["85"],"URL":"https:\/\/doi.org\/10.1007\/s10009-002-0085-2","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,12,18]]}}}