{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:22Z","timestamp":1725663382629},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160472"},{"type":"electronic","value":"9783540397311"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16047-7_36","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:35:14Z","timestamp":1330176914000},"page":"66-96","source":"Crossref","is-referenced-by-count":0,"title":["A practical approach to the analysis of concurrent systems"],"prefix":"10.1007","author":[{"given":"J. R.","family":"Abrial","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"C.A.R. HOARE \u2014 A Calculus of Total Correctness for Communicating Sequential Processes \u2014 Science of Computer Programming \u2014 Volume 1 \u2014 1981","DOI":"10.1016\/0167-6423(81)90005-8"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"C.A.R. HOARE \u2014 Communicating Sequential Processes \u2014 CACM \u2014 Volume 21 \u2014 1978","DOI":"10.1145\/359576.359585"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"C.A.R.HOARE \u2014 An Axiomatic Basis for Computer Programming \u2014 CACM \u2014 Volume 12 \u2014 1969","DOI":"10.1145\/363235.363259"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"M.E. CONWAY \u2014 Design of a Separable Transition-Diagram Compiler \u2014 CACM \u2014 Vo Volume 6 \u2014 1963","DOI":"10.1145\/366663.366704"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"S. OWICKI & D. GRIES \u2014 Verifying Properties of Parallel Programs: an Axiomatic Approach \u2014 CACM \u2014 Volume 19 \u2014 1976","DOI":"10.1145\/360051.360224"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"R.W. FLOYD \u2014 Assigning Meaning to Programs \u2014 Proc. Symposium Applied Mathematics \u2014 1967","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"5_CR7","unstructured":"UNITED STATES DEPARTMENT OF DEFENSE \u2014 Reference Manual for the ADA Programming Language \u2014 1983"},{"key":"5_CR8","unstructured":"E.W. DIJKSTRA \u2014 A Discipline of Programming \u2014 Prentice Hall \u2014 1976"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"E.W. DIJKSTRA \u2014 A Correctness Proof for Communicating Processes. A Small Exercise \u2014 in Selected Writings on Computing: a Personal Perspective \u2014 Springer Verlag \u2014 1982","DOI":"10.1007\/978-1-4612-5695-3_47"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"E.W. DIJKSTRA \u2014 Guarded Commands, Non-determinacy and Formal Derivation of Programs \u2014 CACM \u2014 Volume 18 \u2014 1975","DOI":"10.1145\/800027.808417"},{"key":"5_CR11","unstructured":"C.B. JONES \u2014 Software Development: a Rigorous Approach \u2014 Prentice Hall \u2014 1980"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"K.R. APT & N.FRANCEZ & W.P. DE ROEVER \u2014 A Proof System for Communicating Sequential Processes \u2014 ACM Transactions on Programming Languages \u2014 1980","DOI":"10.1145\/357103.357110"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"J.MISRA & K.M. CHANDY \u2014 Proofs of Networks of Processes \u2014 IEEE Transactions on Software Egineering \u2014 Volume SE 7 \u2014 1981","DOI":"10.1109\/TSE.1981.230844"}],"container-title":["Lecture Notes in Computer Science","The Analysis of Concurrent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16047-7_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:42Z","timestamp":1605625782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16047-7_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160472","9783540397311"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-16047-7_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}