{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:39Z","timestamp":1725663099011},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099819"},{"type":"electronic","value":"9783540392330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-09981-6_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:56:30Z","timestamp":1330188990000},"page":"136-146","source":"Crossref","is-referenced-by-count":4,"title":["A relational model for non-deterministic programs and predicate transformers"],"prefix":"10.1007","author":[{"given":"Pedro","family":"Guerreiro","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"10_CR1","unstructured":"E.W. Dijkstra, \"A Discipline of Programming\" Prentice Hall, 1976."},{"key":"10_CR2","unstructured":"P. Guerreiro, \"Un mod\u00e8le relationnel pour les programmes non-d\u00e9terministes\". Rapport de D.E.A., Univ. Grenoble I, 1979."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"P. Guerreiro, \"Relational semantics of strongly communicating communicating sequential processes\". IMAG Report, Grenoble (to appear).","DOI":"10.1007\/3-540-10699-5_107"},{"issue":"3","key":"10_CR4","first-page":"461\/480","volume":"25","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Some properties of predicate transformers\". JACM, 25, 3, July 1978, pp. 461\/480.","journal-title":"JACM"},{"issue":"8","key":"10_CR5","first-page":"666\/677","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \"Communicating sequential processes\". CACM 21, 8, August 1978, pp. 666\/677.","journal-title":"CACM"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"W.P. de Roever, \"Dijkstra's predicate transformer, non-determinism, recursion and termination\". Math. Found. Comp. Sci, LNCS 45, Springer, 1976, pp. 472\/481.","DOI":"10.1007\/3-540-07854-1_217"},{"key":"10_CR7","unstructured":"J. Sifakis, \"Le Contr\u00f4le des Syst\u00e8mes Asynchrones: Concepts, Propri\u00e9t\u00e9s, Analyse Statique\". Th\u00e8se d'Etat, Univ. Grenoble I, 1979."},{"key":"10_CR8","first-page":"209\/212","volume":"15","author":"M. Wand","year":"1977","unstructured":"M. Wand, \"A characterization of weakest preconditions\". JCSS 15, 1977, pp. 209\/212.","journal-title":"JCSS"}],"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-09981-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:01Z","timestamp":1605643321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09981-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099819","9783540392330"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-09981-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}