{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T23:40:04Z","timestamp":1748389204118,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195773"},{"type":"electronic","value":"9783319195780"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-19578-0_2","type":"book-chapter","created":{"date-parts":[[2015,5,12]],"date-time":"2015-05-12T08:07:21Z","timestamp":1431418041000},"page":"15-27","source":"Crossref","is-referenced-by-count":0,"title":["Relative Timed Model for Coordinated Multi Agent Systems"],"prefix":"10.1007","author":[{"given":"Said","family":"Layadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Ilie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilham","family":"Kitouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djamel-Eddine","family":"Saidouni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science, 183\u2013235 (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Kitouni, I., Hachichi, H., Bouaroudj, K., Saidouni, D.E.: Durational Actions Timed Automata: Determinization and Expressiveness. International Journal of Applied Information Systems (IJAIS)\u00a04(2), 1\u201311 (2012); Published by Foundation of Computer Science, New York, USA","DOI":"10.5120\/ijais12-450609"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems\u00a014, 25\u201359 (1987)","journal-title":"Computer Networks and ISDN Systems"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Courtiat, J.P., Saidouni, D.E.: Relating Maximality-based Semantics to Action Refinement in Process Algebras. In: Proceedings of FORTE 1994, pp. 293\u2013308. Chapman and Hall (1995)","DOI":"10.1007\/978-0-387-34878-0_24"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Lenzen, C., Locher, T., Wattenhofer, R.: Tight bounds for clock synchronization. In: Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, pp. 46\u201355 (2009)","DOI":"10.1145\/1582716.1582730"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Pereverzeva, I., Troubitsyna, E., Laibinis, L.: Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: IEEE European Dependable Computing Conference (EDCC), pp. 156\u2013161 (2012)","DOI":"10.1109\/EDCC.2012.24"},{"key":"2_CR7","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-11958-8_8","volume-title":"Information and Software Technologies","author":"S. Guellati","year":"2014","unstructured":"Guellati, S., Kitouni, I., Matmat, R., Saidouni, D.-E.: Timed Automata with Action Durations - From Theory to Implementation. In: Dregvaite, G., Damasevicius, R. (eds.) ICIST 2014. CCIS, vol.\u00a0465, pp. 94\u2013109. Springer, Heidelberg (2014)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Corchuelo, R., Arjona, J.L.: A top down approach for MAS protocol descriptions. In: Proceedings of the 2003 ACM Symposium on Applied Computing, pp. 45\u201349 (2003)","DOI":"10.1145\/952532.952544"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-319-14484-9_3","volume-title":"Engineering Multi-Agent Systems","author":"Z. Graja","year":"2014","unstructured":"Graja, Z., Migeon, F., Maurel, C., Gleizes, M.-P., Kacem, A.H.: A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems. In: Dalpiaz, F., Dix, J., van Riemsdijk, M.B. (eds.) EMAS 2014. LNCS, vol.\u00a08758, pp. 40\u201357. Springer, Heidelberg (2014)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Laroussinie, F.: Model Checking Timed Automata. In: Modeling and Verification of Real-Time Systems, pp. 111\u2013140. ISTE Ltd. John Wiley & Sons, Ltd. (2008)","DOI":"10.1002\/9780470611012.ch4"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-662-44871-7_6","volume-title":"Transactions on Computational Collective Intelligence XVI","author":"A.-C. Chaouche","year":"2014","unstructured":"Chaouche, A.-C., El Fallah Seghrouchni, A., Ili\u00e9, J.-M., Sa\u00efdouni, D.E.: A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. In: Kowalczyk, R., Nguyen, N.T. (eds.) TCCI XVI. LNCS, vol.\u00a08780, pp. 146\u2013169. Springer, Heidelberg (2014)"},{"key":"2_CR12","unstructured":"Layadi, S., Kitouni, I., Belala, N., Saidouni, D.E.: About Decidability of Dynamic Timed Automata with Relative Time Rates. Submitted in: IGI-Global International Journal of Embedded and Real-Time Communication Systems, IJERTCS (2014)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-75292-9_13","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"C. Dima","year":"2007","unstructured":"Dima, C., Lanotte, R.: Distributed time-asynchronous automata. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 185\u2013200. Springer, Heidelberg (2007)"},{"issue":"4","key":"2_CR14","doi-asserted-by":"crossref","first-page":"377","DOI":"10.3233\/FI-2014-996","volume":"130","author":"S. Akshay","year":"2014","unstructured":"Akshay, S., Bollig, B., Gastin, P., Mukund, M., Kumar, K.N.: Distributed Timed Automata with Independently Evolving Clocks. Fundamenta Informaticae\u00a0130(4), 377\u2013407 (2014)","journal-title":"Fundamenta Informaticae"}],"container-title":["IFIP Advances in Information and Communication Technology","Computer Science and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19578-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T23:10:43Z","timestamp":1748387443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19578-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195773","9783319195780"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19578-0_2","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]}}}