{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:03Z","timestamp":1725551763135},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297352"},{"type":"electronic","value":"9783540322474"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11575467_14","type":"book-chapter","created":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T08:58:51Z","timestamp":1131699531000},"page":"195-211","source":"Crossref","is-referenced-by-count":7,"title":["Race Conditions in Message Sequence Charts"],"prefix":"10.1007","author":[{"given":"Chien-An","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Kalvala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Sinclair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. IEEE Transaction on Software Engineering\u00a029, 623\u2013633 (2003)","journal-title":"IEEE Transaction on Software Engineering"},{"issue":"2","key":"14_CR2","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyzer for Message Sequence Charts. Software Concepts and Tools\u00a017(2), 70\u201377 (1996)","journal-title":"Software Concepts and Tools"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035393","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic detection of process divergence and non-local choice in Message Sequence Charts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217. Springer, Heidelberg (1997)"},{"key":"14_CR4","volume-title":"The Unified Modeling Lan- guage Reference Manual","author":"G. Booch","year":"1998","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Lan- guage Reference Manual. Addison-Wesley, Reading (1998) ISBN 0-201-30998-x"},{"key":"14_CR5","unstructured":"Broy, M.: On the meaning of Message Sequence Charts. In: Proceedings of the 1st Workshop of the SDL Forum Society Workshop on SDL and MSC, vol.\u00a0I, pp. 13\u201334 (1998)"},{"key":"14_CR6","unstructured":"CCITT. CCITT Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1992)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Chen, C., Kalvala, S., Sinclair, J.: A process-based semantics for Message Sequence Charts with data. In: Australian Software Engineering Conference 2005 (ASWEC 2005), Brisbane (March 2005)","DOI":"10.1109\/APSEC.2005.93"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"14_CR9","volume-title":"Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE\/PSTV 1998)","author":"T. Gehrke","year":"1998","unstructured":"Gehrke, T., Huhn, M., Rensink, A., Wehrheim, H.: An alge- braic semantics for Message Sequence Charts documents. In: Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE\/PSTV 1998). Kluwer, Dordrecht (1998)"},{"key":"14_CR10","unstructured":"Grabowski, J., Graubmann, P., Rudolph, E.: Towards a Petri net based semantics definition for Message Sequence Charts. In: SDL 1993 Using Objects, Darmstadt. Proceeding of the 6th SDL Forum (1993)"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1002\/bltj.2034","volume":"2","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J., Peled, D., Redberg, M.H.: Design tools for requirements engineering. Bell Lab Technical Journal\u00a02(1), 86\u201395 (1997)","journal-title":"Bell Lab Technical Journal"},{"key":"14_CR12","unstructured":"ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva (1996)"},{"issue":"5","key":"14_CR13","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P.B. Ladkin","year":"1995","unstructured":"Ladkin, P.B., Leue, S.: Interpreting message flow graphs. Formal Aspects of Computing\u00a07(5), 473\u2013509 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR14","series-title":"Proceeding of the 6th International Conference on Formal Description Techniques","volume-title":"Formal Description Techniques VI, IFIP Transactions C","author":"P.B. Ladkin","year":"1994","unstructured":"Ladkin, P.B., Leue, S.: What do Message Sequence Charts mean? In: Tenney, R.L., Amer, P.D., Uyar, M.U. (eds.) Formal Description Techniques VI, IFIP Transactions C. Proceeding of the 6th International Conference on Formal Description Techniques. North-Holland, Amsterdam (1994)"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","volume":"37","author":"S. Mauw","year":"1994","unstructured":"Mauw, S., Reniers, M.A.: An algebraic semantics of basic Message Sequence Charts. The Computer Journal\u00a037(4), 269\u2013277 (1994)","journal-title":"The Computer Journal"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-31862-0_10","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"B. Mitchell","year":"2005","unstructured":"Mitchell, B.: Inherent causal orderings of partial order scenarios. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 113\u2013127. Springer, Heidelberg (2005)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Muscholl, A., Peled, D.: Message sequence graphs and decision problems on mazurkiewicz traces. In: MFCS, pp. 81\u201391 (1999)","DOI":"10.1007\/3-540-48340-3_8"},{"key":"14_CR18","volume-title":"Systems Using SDL 1992","author":"A. Olsen","year":"1994","unstructured":"Olsen, A., F\u00e6rgemand, O., M\u00f6ller Pedersen, B., Reed, R., Smith, J.R.W.: Systems Using SDL 1992. North-Holland, Amsterdam (1994)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Schumann, J., Whittle, J.: Generating statechart designs from scenarios. In: Proceeding of the 22nd International Conference on Software Engineering (2000)","DOI":"10.1145\/337180.337217"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Transaction on Software Engineering 29(2) (February 2003)","DOI":"10.1109\/TSE.2003.1178048"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11575467_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:57:26Z","timestamp":1605625046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11575467_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297352","9783540322474"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11575467_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}