{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:26:53Z","timestamp":1743150413992,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232003"},{"type":"electronic","value":"9783319232010"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23201-0_42","type":"book-chapter","created":{"date-parts":[[2015,8,27]],"date-time":"2015-08-27T11:57:35Z","timestamp":1440676655000},"page":"414-423","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Interpretation of DD-LOTOS Specification by C-DATA*"],"prefix":"10.1007","author":[{"given":"Maarouk Toufik","family":"Messaoud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saidouni Djamel","family":"Eddine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahdaoui","family":"Rafik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houassi","family":"Hichem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,28]]},"reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183\u2013235 (1994). Elsevier","journal-title":"Theoretical Computer Science"},{"key":"42_CR2","unstructured":"Belala, N., Sa\u00efdouni, D.E.: Non-Atomicity in Timed Models, International Arab Conference on Information Technology, Al-Isra Private University, Jordan, LIRE Laboratory, University of Mentouri, 25000 Constantine, Algeria (December 2005)"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Bolognesi, T., Lucidi, F.: LOTOS-like process algebras with urgent or timed interactions. In: Parker, K.R., Rose, G.A. (eds.) FORTE. IFIP Transactions, vol. C-2, pp. 249\u2013264. North-Holland (1991)","DOI":"10.1016\/B978-0-444-89402-1.50027-8"},{"key":"42_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF03005245","volume":"50","author":"JP Courtiat","year":"1995","unstructured":"Courtiat, J.P., de Oliveira, R.C.: On RT-LOTOS and its Application to the Formal Design of Multimedia Protocols. Annals of Telecommunications 50, 11\u201312 (1995)","journal-title":"Annals of Telecommunications"},{"key":"42_CR5","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1016\/S0140-3664(99)00240-6","volume":"23","author":"JP Courtiat","year":"2000","unstructured":"Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications 23, 1104\u20131123 (2000). Elsevier","journal-title":"Computer Communications"},{"key":"42_CR6","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s001650050015","volume":"10","author":"L L\u00e9onard","year":"1998","unstructured":"L\u00e9onard, L., Leduc, G.: A Formal Definition of Time in LOTOS - Extended Abstract. Formal Aspects of Computing 10, 248\u2013266 (1998). BCS","journal-title":"Formal Aspects of Computing"},{"key":"42_CR7","unstructured":"Maarouk, T.M., Sa\u00efdouni, D.E., Khergag, M.: DD-LOTOS : a distributed real time language. In: Proceedings 2nd Annual International Conference on Advances in Distributed and Parallel Computing, Special Track: Real Time and Embedded Systems, pp. 45\u201350. Singapore (2011)"},{"key":"42_CR8","unstructured":"Maarouk, T.M.: Mod\u00e8les formels pour la conception des syst\u00e8mes temps r\u00e9el, th\u00e8se de Doctorat. Laboratoire MISC, Constantine, Alg\u00e9rie (2012)"},{"key":"42_CR9","unstructured":"Sa\u00efdouni, D.E., Belala, N.: Actions duration in timed models. In: International Arab Conference on Information Technology. Yarmouk University, Irbid, December 2006"},{"key":"42_CR10","volume-title":"Prise En Compte Des Dur\u00e9es D\u2019action Dans Les Alg\u00e8bres deProcessus Par L\u2019utilisation de la S\u00e9mantique de Maximalit\u00e9","author":"DE Sa\u00efdouni","year":"2003","unstructured":"Sa\u00efdouni, D.E., Courtiat, J.P.: Prise En Compte Des Dur\u00e9es D\u2019action Dans Les Alg\u00e8bres deProcessus Par L\u2019utilisation de la S\u00e9mantique de Maximalit\u00e9. Ing\u00e9nierie des Protocoles, Hermes (2003)"}],"container-title":["Communications in Computer and Information Science","New Trends in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23201-0_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T17:03:53Z","timestamp":1675875833000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23201-0_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232003","9783319232010"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23201-0_42","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}