{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:57Z","timestamp":1763468157387},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401831"},{"type":"electronic","value":"9783642401848"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40184-8_8","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:50:56Z","timestamp":1374529856000},"page":"91-105","source":"Crossref","is-referenced-by-count":9,"title":["Merging Partial Behaviour Models with Different Vocabularies"],"prefix":"10.1007","author":[{"given":"Shoham","family":"Ben-David","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24372-1_17","volume-title":"Automated Technology for Verification and Analysis","author":"N. Bene\u0161","year":"2011","unstructured":"Bene\u0161, N., \u010cern\u00e1, I., K\u0159et\u00ednsk\u00fd, J.: Modal Transition Systems: Composition and LTL Model Checking. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol.\u00a06996, pp. 228\u2013242. Springer, Heidelberg (2011)"},{"key":"8_CR2","unstructured":"Chechik, M., Brunet, G., Fischbein, D., Uchitel, S.: Partial behavioural models for requirements and early design. In: Proc. of MMOSS 2006 (2006)"},{"key":"8_CR3","unstructured":"Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, The Netherlands (July 1996)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The Modal Transition System Analyser. In: Proc. of ASE 2008, pp. 475\u2013476 (2008)","DOI":"10.1109\/ASE.2008.78"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-03466-4_14","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"D. Fischbein","year":"2009","unstructured":"Fischbein, D., Braberman, V.A., Uchitel, S.: A Sound Observational Semantics for Modal Transition Systems. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol.\u00a05684, pp. 215\u2013230. Springer, Heidelberg (2009)"},{"issue":"2","key":"8_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/2089116.2089119","volume":"21","author":"D. Fischbein","year":"2012","unstructured":"Fischbein, D., D\u2019Ippolito, N., Brunet, G., Chechik, M., Uchitel, S.: Weak Alphabet Merging of Partial Behavior Models. ACM TOSEM\u00a021(2), 9 (2012)","journal-title":"ACM TOSEM"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S.: On Correct and Complete Strong Merging of Partial Behaviour Models. In: Proc. of SIGSOFT FSE 2008, pp. 297\u2013307 (2008)","DOI":"10.1145\/1453101.1453144"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: StateCharts: A Visual Formalism for Complex Systems. Sc. of Comp. Prog.\u00a08, 231\u2013274 (1987)","journal-title":"Sc. of Comp. Prog."},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/3-540-51237-3_14","volume-title":"Logic at Botik \u201989","author":"H. H\u00fcttel","year":"1989","unstructured":"H\u00fcttel, H., Larsen, K.G.: The Use of Static Constructs in A Modal Process Logic. In: Meyer, A.R., Taitslin, M.A. (eds.) Logic at Botik 1989. LNCS, vol.\u00a0363, pp. 163\u2013180. Springer, Heidelberg (1989)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs. CACM\u00a019(7) (1976)","DOI":"10.1145\/360248.360251"},{"key":"8_CR11","unstructured":"Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: Proc. of LICS (1988)"},{"key":"8_CR12","unstructured":"Larsen, K.G., Xinxin, L.: Equation Solving Using Modal Transition Systems. In: Proc. of LICS 1990, pp. 108\u2013117 (1990)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Sibay, G., Uchitel, S., Braberman, V.A.: Existential Live Sequence Charts Revisited. In: Proc. of ICSE 2008, pp. 41\u201350 (2008)","DOI":"10.1145\/1368088.1368095"},{"issue":"3","key":"8_CR14","first-page":"384","volume":"35","author":"S. Uchitel","year":"2009","unstructured":"Uchitel, S., Brunet, G., Chechik, M.: Synthesis of Partial Behavior Models from Properties and Scenarios. IEEE TSE\u00a035(3), 384\u2013406 (2009)","journal-title":"IEEE TSE"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: Proc. of SIGSOFT FSE 2004, pp. 43\u201352 (2004)","DOI":"10.1145\/1041685.1029904"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Zave, P., Jackson, M.: Conjunction as composition. ACM TOSEM\u00a02, 379\u2013411 (1993)","journal-title":"ACM TOSEM"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2013 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40184-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:43:02Z","timestamp":1557960182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40184-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401831","9783642401848"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40184-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}