{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:30Z","timestamp":1725487110336},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422815"},{"type":"electronic","value":"9783540482130"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48213-x_22","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T14:01:14Z","timestamp":1183384874000},"page":"348-364","source":"Crossref","is-referenced-by-count":7,"title":["Some Pathological Message Sequence Charts, and How to Detect Them"],"prefix":"10.1007","author":[{"given":"Lo\u00efc","family":"H\u00e9lou\u0451t","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,22]]},"reference":[{"key":"22_CR1","series-title":"Lect Notes Comput Sci","first-page":"35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996)","author":"A. R","year":"1996","unstructured":"Alur R., Holzmann G., Peled D., An analyzer for Message Sequence Charts, Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201996), LNCS no 1055, pp 35\u201348, Passau, Germany, 1996."},{"key":"22_CR2","unstructured":"Ben-Abdallah H., Leue S., Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts, Proceedingsof TACAS\u201997, Lecture Notesin Computer Science, Vol. 1217, Brinksma. E editor, Springer-Verlag publisher, pp. 259\u2013274, 1997."},{"key":"22_CR3","unstructured":"Graubmann P., Rudolph E., Grabowski J., Towards a Petri Net Based Semantics Definition for Message Sequence Charts, In: SDL\u201993-Using Objects (Editors: O. Faergemand, A. Sarma), North-Holland, October 1993."},{"key":"22_CR4","unstructured":"H\u00e9lou\u0451t L., Jard C., Conditions for synthesis from Message Sequence Charts, 5th international workshop on Formal Methods for Industrial Critical Systems (FMICS), Berlin, April 2000."},{"key":"22_CR5","unstructured":"ITU-T, Message Sequence Chart (MSC-2000), ITU-T Recommendation Z.120 (11\/99), 2000."},{"key":"22_CR6","unstructured":"Katoen J.P., Lambert L., Pomsets for message sequence charts, proceedings of SAM98:1st conference on SDL and MSC, pp. 291\u2013300, 1998."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Loidl S., Rudolph E., Hinkel U., MSC\u201996 and Beyond-a Critical Look, Proceedings of the Eight SDL Forum, SDL\u201997: Time for Testing-SDL MSC and Trends, A. Cavalli and A. Sarma, editors, Evry, France, 23-26 September, 1997.","DOI":"10.1016\/B978-044482816-3\/50015-0"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Mauw S., Reniers M., High-level Message Sequence Charts, Proceedingsof the Eight SDL Forum, SDL\u201997: Time for Testing-SDL MSC and Trends, pp 291\u2013306, A. Cavalli and A. Sarma, editors, Evry, France, 23-26 September, 1997.","DOI":"10.1016\/B978-044482816-3\/50020-4"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Muscholl A., Peled D., Message sequence graphs and decision problems on Mazurkiewicz traces, Proc. of MFCS\u201999, Lecture Notesin Computer Science 1672, pp. 81\u201391, 1999.","DOI":"10.1007\/3-540-48340-3_8"},{"issue":"1","key":"22_CR10","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"Pratt. V","year":"1986","unstructured":"Pratt. V, Modeling Concurrency with Partial Orders, International journal of Parallel Programming, Vol. 15, No. 1, pp. 33\u201371, 1986.","journal-title":"International journal of Parallel Programming"},{"issue":"4","key":"22_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","volume":"37","author":"R. M","year":"1994","unstructured":"Reniers M., Mauw S., An algebraic semantics for basic message sequence charts, The Computer Journal\u201c, Vol. 37, No. 4, pp. 269\u2013277, 1994.","journal-title":"The Computer Journal\u201c"},{"key":"22_CR12","unstructured":"Reniers M., Message Sequence Charts: Syntax and Semantics, PhD Thesis, Heindhoven University of Technology, 1998."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Tarjan. R, Depth-first search and linear graph algorithms, SIAM Journal of Computing, 1(2), 1992.","DOI":"10.1137\/0201010"}],"container-title":["Lecture Notes in Computer Science","SDL 2001: Meeting UML"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48213-X_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T21:36:27Z","timestamp":1556573787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48213-X_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422815","9783540482130"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48213-x_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}