{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:00Z","timestamp":1725663120229},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:37Z","timestamp":1330193557000},"page":"325-338","source":"Crossref","is-referenced-by-count":2,"title":["Synthesis of parallel programs invariants"],"prefix":"10.1007","author":[{"given":"E. Pascal","family":"Gribomont","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"21_CR1","first-page":"17","volume":"6","author":"E. A. Ashcroft","year":"1970","unstructured":"ASHCROFT, E.A., MANNA, Z., \"Formalization of Properties of Parallel Programs\", Machine Intelligence, vol. 6, pp. 17\u201341, 1970.","journal-title":"Machine Intelligence"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1145\/357103.357109","volume":"2","author":"E. M. Clarke","year":"1980","unstructured":"CLARKE, E.M., \"Synthesis of resource invariants for concurrent programs\", ACM Toplas, Vol. 2, pp. 338\u2013358, 1980.","journal-title":"ACM Toplas"},{"key":"21_CR3","volume-title":"A discipline of programming","author":"D. E.W","year":"1976","unstructured":"DIJKSTRA, E.W., \"A discipline of programming\", Prentice Hall, New Jersey, 1976."},{"key":"21_CR4","unstructured":"DIJKSTRA, E.W. \"An assertional proof of a program by G. L. Peterson\", EWD 779, 1981."},{"key":"21_CR5","unstructured":"GRIBOMONT, E.P., \"Programmation parall\u00e8le\", Internal Report, University of Li\u00e8ge, 1982."},{"key":"21_CR6","unstructured":"GRIBOMONT, E.P., \"Proving parallel programs in an incremental way\", submitted to Science of Computer Programming, 1983."},{"key":"21_CR7","unstructured":"GRIBOMONT, E.P., \"Mutual exclusion in a computer network\", submitted to Computer Networks, 1983."},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1145\/359897.359903","volume":"20","author":"D. Gries","year":"1977","unstructured":"GRIES, D., \"An Exercise in Proving Parallel Programs Correct\", CACM, vol. 20, pp. 921\u2013930, 1977.","journal-title":"CACM"},{"key":"21_CR9","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00289266","volume":"15","author":"G. M. Levin","year":"1981","unstructured":"LEVIN, G.M., GRIES, D., \"A Proof Technique for Communicating Sequential Processes\", Acta Informatica, vol. 15, pp. 281\u2013302, 1981.","journal-title":"Acta Informatica"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/BFb0025785","volume":"131","author":"Z. Manna","year":"1981","unstructured":"MANNA, Z., PNUELI, A., \"Verification of concurrent programs: temporal proofs principles\", Lecture Notes in Comp. Sc., vol. 131, pp. 200\u2013252, Springer, 1981.","journal-title":"Lecture Notes in Comp. Sc."},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"OWICKI, S., GRIES, D., \"An Axiomatic Proof Technique for Parallel Programs\", Acta Informatica, vol. 6, pp. 319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(81)90106-X","volume":"12","author":"G. L. Peterson","year":"1981","unstructured":"PETERSON, G.L., \"Myths about the mutual exclusion problem\", Information Processing Letters, vol. 12, pp. 115\u2013116, 1981.","journal-title":"Information Processing Letters"},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G. Ricart","year":"1981","unstructured":"RICART, G., AGRAWALA, A.K., \"An optimal algorithm for mutual exclusion\", CACM, vol. 24, pp. 9\u201317, 1981.","journal-title":"CACM"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Corrigendum, CACM, vol. 24, p. 578, 1981.","DOI":"10.1007\/BF02604331"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:09Z","timestamp":1605643689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}