{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:50Z","timestamp":1725662870126},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129257"},{"type":"electronic","value":"9783540388098"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12925-1_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:00:24Z","timestamp":1330192824000},"page":"13-22","source":"Crossref","is-referenced-by-count":2,"title":["Une expression de la synchronisation et de l'Ordonnancement des processus concurrents par variables partagees"],"prefix":"10.1007","author":[{"given":"H.","family":"Bahsoun","sequence":"first","affiliation":[]},{"given":"C.","family":"B\u00e9tourn\u00e9","sequence":"additional","affiliation":[]},{"given":"L.","family":"F\u00e9raud","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"Reference manual for the ADA programming language ANSI\/MIL-STD 1815A (Jan. 1983)"},{"key":"2_CR2","unstructured":"G. ANDREWS, F. SCHNEIDER. \"Concepts and notations for concurrent programming\". TR 82-530. Cornell University. Septembre 1982"},{"key":"2_CR3","unstructured":"C. BETOURNE, L. FERAUD, J. JOULIA, J. M. RIGAUD. Manuel de r\u00e9f\u00e9rence du langage LEST. Rapport LSI No 134 Octobre 1979"},{"key":"2_CR4","unstructured":"H. BAHSOUN. \"Une expression du contr\u00f4le des objects partag\u00e9s: le Module Contr\u00f4l\u00e9 par Priorit\u00e9\". Th\u00e8se de 3\u00e8me cycle. Laboratoire LSI. Universit\u00e9 Paul Sabatier \u2014 Toulouse \u2014 1983"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"COURTOIS & Alt. \"Concurrent control with readers and Writers\". CACM 14, 10 October 1971, pp 667\u2013668","DOI":"10.1145\/362759.362813"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"A.N. HABERMANN, Path expressions, Technical report, Carnegie Melon University, Juin 1975","DOI":"10.21236\/ADA015842"},{"key":"2_CR7","unstructured":"C. HEWITT, H. BAKER. \"Actors and continuous functionals\". Formal Description of Programming Concepts, E.I. Neuhold (ed.). North Holland Publishing Company. 1978"},{"key":"2_CR8","unstructured":"C. HEWITT, H. BAKER. \"Laws for communicating parallel processes\". Information processing 77, B.G.H. CHRIST, Editor IFIP, North Holland Publishing Company. 1977"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"C. HEWITT, R. ATKINSON. \"Specification and proof techniques for serializers\". IEEE transactions of software engineering. January 1979 pp 10\u201313","DOI":"10.1109\/TSE.1979.234149"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"C.A.R. HOARE. \"Monitors, an operating structured concept\". CACM 17.10 October 1974, pp 549\u2013557","DOI":"10.1145\/355620.361161"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"J.L.W. KESSELS. \"An alternative to event queues for synchronization in Monitors\". CACM 20,7 July 1977, pp 500\u2013503","DOI":"10.1145\/359636.359710"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12925-1_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:51Z","timestamp":1605643611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12925-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129257","9783540388098"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-12925-1_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}