{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:42:23Z","timestamp":1725453743096},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305634"},{"type":"electronic","value":"9783642305641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30564-1_8","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:12Z","timestamp":1337945352000},"page":"114-131","source":"Crossref","is-referenced-by-count":1,"title":["Revising and Extending the Uppaal Communication Mechanism"],"prefix":"10.1007","author":[{"given":"Abdeldjalil","family":"Boudjadar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","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":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed Automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for Modeling Real-Time Systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"key":"8_CR3","volume-title":"Finite transition systems: semantics of communicating systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite transition systems: semantics of communicating systems. Prentice Hall International Ltd., Hertfordshire (1994) Plaice, J. (trans.)"},{"key":"8_CR4","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. Representation and Mind. The MIT Press (2008)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. Department of computer science. Aalborg university (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-85778-5_17","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Berendsen","year":"2008","unstructured":"Berendsen, J., Vaandrager, F.: Compositional Abstraction in Real-Time Model Checking. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 233\u2013249. Springer, Heidelberg (2008)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P.O., Vernadat, F.: The tool tina \u2013 construction of abstract state spaces for petri nets and time petri nets. International Journal of Production Research\u00a042(14) (July 2004)","DOI":"10.1080\/00207540412331312688"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-24372-1_9","volume-title":"Automated Technology for Verification and Analysis","author":"J.P. Bodeveix","year":"2011","unstructured":"Bodeveix, J.P., Boudjadar, A., Filali, M.: An Alternative Definition for Timed Automata Composition. In: Bultan, T., Hsiung, P.-A. (eds.) ATVA 2011. LNCS, vol.\u00a06996, pp. 105\u2013119. Springer, Heidelberg (2011)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Long, D.E., Mcmillan, K.L.: Compositional model checking. In: LICS 1989, pp. 353\u2013362 (1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11867340_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. David","year":"2006","unstructured":"David, A., H\u00e5kansson, J., Larsen, K.G., Pettersson, P.: Model Checking Timed Automata with Priorities Using DBM Subtraction. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 128\u2013142. Springer, Heidelberg (2006)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP\u00a02006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Timed transition systems (1992)","DOI":"10.1007\/BFb0031995"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45352-0_4","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"H.E. Jensen","year":"2000","unstructured":"Jensen, H.E., Guldstr, K., Skou, A.: Scaling up Uppaal: Automatic Verification of Real-Time Systems using Compositionality and Abstraction. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol.\u00a01926, pp. 19\u201330. Springer, Heidelberg (2000)"},{"key":"8_CR15","unstructured":"Jin, S.D., Ping, H., Sheng Chao, Q., Jun, S., Wang, Y.: Timed automata patterns. IEEE Transactions on Software Engineering\u00a052(1) (2008)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Wang, Y.: Uppaal in a nutshell. Journal on Software Tools for Technology Transfer (1997)","DOI":"10.1007\/s100090050010"},{"key":"8_CR17","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall Ltd. (1989)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/inco.1995.1062","volume":"118","author":"M. Nielsen","year":"1995","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.: Transition-systems, event structures, and unfoldings. Information and Computation\u00a0118, 191\u2013207 (1995)","journal-title":"Information and Computation"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems. Theoritical Computer Science, 3\u201333 (1992)","DOI":"10.1016\/0304-3975(92)90180-N"},{"issue":"1-2","key":"8_CR20","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J.B. Raclet","year":"2011","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fundamenta Informaticae\u00a0108(1-2), 119\u2013149 (2011)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. Journal of Software Tools for Technology Transfer, 123\u2013133 (1997)","DOI":"10.1007\/s100090050009"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-65193-4_20","volume-title":"Lectures on Embedded Systems","author":"S. Yovine","year":"1998","unstructured":"Yovine, S.: Model Checking Timed Automata. In: Rozenberg, G., Vaandrager, F.W. (eds.) EEF School 1996. LNCS, vol.\u00a01494, pp. 114\u2013152. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30564-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T04:20:53Z","timestamp":1642306853000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30564-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305634","9783642305641"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30564-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}