{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:52:38Z","timestamp":1743115958931,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266129"},{"type":"electronic","value":"9783540315391"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506843_8","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T21:58:08Z","timestamp":1279058288000},"page":"117-132","source":"Crossref","is-referenced-by-count":9,"title":["Semantics of Message Sequence Charts"],"prefix":"10.1007","author":[{"given":"A. A.","family":"Letichevsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. V.","family":"Kapitonova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. P.","family":"Kotlyarov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. A.","family":"Volkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"A. A.","family":"Letichevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"ITU-T. Recommendation Z.120: Message Sequence Charts (MSC). Geneva (October 1996)"},{"key":"8_CR2","unstructured":"ITU-T. Recommendation Z.120: Message Sequence Charts (MSC). Geneva (October 2000)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Letichevsky, A., Gilbert, D.: A general theory of action languages. Cybernetics and System Analysis\u00a01 (1998)","DOI":"10.1007\/BF02911258"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-44616-3_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Letichevsky","year":"2000","unstructured":"Letichevsky, A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 311\u2013328. Springer, Heidelberg (2000)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-540-44616-3_18","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Letichevsky","year":"2000","unstructured":"Letichevsky, A., Gilbert, D.: A Model for Interaction of Agents and Environments. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, pp. 311\u2013328. Springer, Heidelberg (2000)"},{"key":"8_CR6","unstructured":"Reniers, M.A.: Message Sequence Charts: Syntax and Semantics. PhD Thesis, Eindhoven University of Technology (June 1999)"},{"key":"8_CR7","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North-Holland (2001)"},{"key":"8_CR8","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report, DIAMI FN-19, Aarhus University (1981)"},{"key":"8_CR9","unstructured":"Baranov, S., Jervis, C., Kotlyarov, V., Letichevsky, A., Weigert, T.: Leveraging UML to Deliver Correct Telecom Applications. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real: Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Amsterdam (2003)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Letichevsky, A., Kapitonova, J., Letichevsky Jr., A., Volkov, V., Baranov, S., Kotlyarov, V., Weigert, T.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. Computer Networks, 47 (2005) (forthcoming)","DOI":"10.1016\/j.comnet.2005.05.005"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Kapitonova, J., Letichevsky, A., Volkov, V., Weigert, T.: Validation of Embedded Systems. In: Zurawski, R. (ed.) The Embedded Systems Handbook. CRC Press, Miami (2005) (forthcoming)","DOI":"10.1201\/9781420038163.ch6"}],"container-title":["Lecture Notes in Computer Science","SDL 2005: Model Driven"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506843_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T16:58:03Z","timestamp":1580317083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506843_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266129","9783540315391"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11506843_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}