{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:27:40Z","timestamp":1725456460499},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/bfb0002881","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"1254-1261","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Synchronous thread management in a distributed operating system's micro kernel"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Potonni\u00e9e","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"169_CR1","doi-asserted-by":"crossref","unstructured":"Ferrari, D.: Client requirements for real time communication services. Research Reports ICSI TR-90-007, Berkeley, California, USA, 1990","DOI":"10.17487\/rfc1193"},{"key":"169_CR2","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Berry, G.: The Synchronous Approach to reactive and real-time systems. IEEE, 1991","DOI":"10.1109\/5.97297"},{"key":"169_CR3","doi-asserted-by":"crossref","unstructured":"le Guernic, P., Gautier, T., le Borgne, M., le Maire, C.: Programming Real-Time Applications with Signal. Proceedings of the IEEE, 1991","DOI":"10.1109\/5.97301"},{"key":"169_CR4","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The Synchronous Data Flow Programming Language Lustre. Proceedings of the IEEE, 1991","DOI":"10.1109\/5.97300"},{"issue":"2","key":"169_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous language: Design, Semantic, Implementation. Journal of Science Of Computer Programming, Vol 19, Num 2., pp87\u2013152, 1992","journal-title":"Journal of Science Of Computer Programming"},{"key":"169_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/3-540-56922-7_29","volume-title":"Computer Aided Verification","author":"M. Jourdan","year":"1993","unstructured":"Jourdan, M., Maraninchim, F., Olivero, A.: Verifying qualitative real-time properties of synchronous programs. International Conference on Computer Aided Verification, Elounda, 1993, LNCS697"},{"key":"169_CR7","unstructured":"Lecompte, V.: V\u00e9rification automatique de programmes Esterel. Ph.D thesis from Paris VII University, 1989"},{"key":"169_CR8","unstructured":"Boniol, F., Adelantado, M.: Programming distributed reactive communicating distributed reactive automata: the weak synchronous paradigm. International Conference on Decentralized and Distributed Systems, Spain, 1993"},{"key":"169_CR9","unstructured":"Kopetz, H.: Sparse time versus Dense time in distributed real time systems. IEEE Symp. On Distributed Systems, 1992"},{"issue":"4","key":"169_CR10","first-page":"305","volume":"1","author":"M. Rozier","year":"1988","unstructured":"Rozier, M., Abrossimov, V., Armand, F., Boule, I., Gien, M., Guillemont, M., Herrmann, F., Kaiser, C., Langlois, S., Lanard, P., Neuhauser, W.: CHORUS distributed operating systems. Computing Systems 1(4), pp 305\u2013367, 1988","journal-title":"Computing Systems"},{"key":"169_CR11","unstructured":"Vergamini, D.: Auto\/Mauto User Manual, version 2-3. INRIA CERICS, 1992"},{"key":"169_CR12","unstructured":"Boulanger, F.: Int\u00e9gration de Modules Synchrones dans la Progammation par Objets. Ph.D thesis from Orsay University, 1994"},{"issue":"3","key":"169_CR13","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"Robin Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3), 1983","journal-title":"Theoretical Computer Science"},{"key":"169_CR14","unstructured":"Potonni\u00e9e, O.: Etude et prototypage en Esterel de la gestion de processus d'un micro-noyau de syst\u00e8me d'exploitation r\u00e9parti avec garantie de service. Ph.D thesis from Paris VI University, 1996"},{"key":"169_CR15","series-title":"Research Report 2664","volume-title":"Reactive Objects","author":"F. Boussinot","year":"1995","unstructured":"F. Boussinot, G. Doumenc, J.B. Stefani: Reactive Objects. Research Report 2664, INRIA, France, October 1995."}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:47:47Z","timestamp":1587343667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0002881","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}