{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:45:51Z","timestamp":1742388351382},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022462","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"34-50","source":"Crossref","is-referenced-by-count":4,"title":["Non-deterministic system specification"],"prefix":"10.1007","author":[{"given":"J. R.","family":"Abrial","sequence":"first","affiliation":[]},{"given":"S. A.","family":"Schuman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"DIJKSTRA, E.W. Guarded commands, nondeterminacy and formal derivation of programs. Comm. ACM 18, 8 (Aug. 1975)","DOI":"10.1145\/360933.360975"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"HOARE, C.A.R. Communicating sequential processes. Comm. ACM 21,8 (Aug. 1978)","DOI":"10.1145\/359576.359585"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"BRINCH HANSEN, P. Distributed processes: A concurrent programming concept. Comm. ACM 21,11 (Nov. 1978)","DOI":"10.1145\/359642.359651"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"OWICKI, S. GRIES, D. An axiomatic proof technique for parallel programs. I. Acta Informatica 6 (1976)","DOI":"10.1007\/BF00268134"},{"key":"3_CR5","unstructured":"OWICKI, S. Axiomatic proof techniques for parallel programs Dept. C.S. Cornell University TR 75\u2013251 (1975)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"HOARE, C.A.R. An axiomatic basis for computer programming Comm. ACM 12,10 (Oct. 1969)","DOI":"10.1145\/363235.363259"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"GRIES, D. An exercise in proving parallel programs correct. Comm. ACM 20,12 (Dec. 1977)","DOI":"10.1145\/359897.359903"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"DIJKSTRA, E.W. et al. On-the-fly garbage collection: An exercise in cooperation Comm. ACM 21,12 (Nov. 1978)","DOI":"10.1145\/359642.359655"},{"key":"3_CR9","unstructured":"SINTZOFF, M. Inventing program construction rules in Constructing quality Software North-Holland\/IFIP (1978)"},{"key":"3_CR10","unstructured":"MEYER, B. DEMUYNCK, M. Specification languages: A critical survey and proposal. Submitted for publication."},{"key":"3_CR11","unstructured":"ABRIAL, J.R. Z: A specification language. Proceedings of the international conference on mathematical studies of information processing. Kyoto, Japan (Aug. 1978)"},{"key":"3_CR12","unstructured":"KURATOWSKI, K Introduction \u00e0 la th\u00e9orie des ensembles et \u00e0 la topologie. Dunod."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022462","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:30Z","timestamp":1586578710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022462"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022462","relation":{},"subject":[]}}