{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,9]],"date-time":"2024-06-09T05:15:27Z","timestamp":1717910127426},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1986,5,1]],"date-time":"1986-05-01T00:00:00Z","timestamp":515289600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,5]]},"DOI":"10.1007\/bf00289498","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T23:55:13Z","timestamp":1096934113000},"page":"193-215","source":"Crossref","is-referenced-by-count":3,"title":["Total correctness of CSP programs"],"prefix":"10.1007","volume":"23","author":[{"given":"N.","family":"Soundararajan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K.R. Apt","year":"1980","unstructured":"Apt, K.R., Francez, N., de Roever, W.P.: A proof system for CSP. ACM TOPLAS 2, 359?385 (1980)","journal-title":"ACM TOPLAS"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1145\/322358.322372","volume":"30","author":"K.R. Apt","year":"1983","unstructured":"Apt, K.R.: Formal justification for a proof system for CSP. J. Assoc. Comput. Mach. 30, 197?216 (1983)","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR3","first-page":"146","volume-title":"Proc. 2nd conf. FST and TCS","author":"K.R. Apt","year":"1982","unstructured":"Apt, K.R., Pneuli, A., Stavi, J.: Fair termination revisted with delay, in Proc. 2nd conf. FST and TCS. pp. 146?170, Bangalore, Tata Institute of Fundamental Research, Bombay 1982 (Also to appear in Theoret. Comput. Sci.)"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00289266","volume":"15","author":"G. Levin","year":"1981","unstructured":"Levin, G., Gries, D.: A proof technique for CSP. Acta Inf. 15, 281?302 (1981)","journal-title":"Acta Inf."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF00288637","volume":"3","author":"Z. Manna","year":"1974","unstructured":"Manna, Z., Pneuli, A.: Axiomatic approach to total correctness of programs. Acta Inf. 3, 243?264 (1974)","journal-title":"Acta Inf."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1145\/1780.1805","volume":"6","author":"N. Soundararajan","year":"1984","unstructured":"Soundararajan, N.: Axiomatic semantics of CSP. ACM TOPLAS 6, 647?662 (1984)","journal-title":"ACM TOPLAS"},{"key":"CR7","unstructured":"Soundararajan, N., Dahl, O.J.: Partial correctness semantics of CSP. (To appear in BIT)"},{"key":"CR8","unstructured":"Soundararajan, N.: Total correctness of CSP programs. Draft, 1984"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289498.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289498\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T17:14:54Z","timestamp":1554743694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,5]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,5]]}},"alternative-id":["BF00289498"],"URL":"https:\/\/doi.org\/10.1007\/bf00289498","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,5]]}}}