{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:53Z","timestamp":1725455993610},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022476","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"300-315","source":"Crossref","is-referenced-by-count":3,"title":["On achieving distributed termination"],"prefix":"10.1007","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Brinch Hansen, P.: The Architecture of Concurrent Programming; Prentice Hall, 1977."},{"key":"17_CR2","first-page":"11","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P.: Distributed Processes \u2014 A Concurrent Programming Concept, CACM, 21, 11, 1978.","journal-title":"CACM"},{"key":"17_CR3","unstructured":"De Bakker, J.W.: Semantics and Termination of Nondeterministic Recursive Programs. Proc. of the 4th Conf. on Automata, Languages and Programming, 1976."},{"key":"17_CR4","unstructured":"Dijkstra, E.W.: A Class of Simple Communication Patterns, EWD-643, 1978."},{"key":"17_CR5","unstructured":"Dijkstra, E.W.: A Correctness Proof for Communicating Processes \u2014 A Small Exercise. EWD-607, 1977."},{"key":"17_CR6","unstructured":"Francez, N.: On the Question of Termination of Concurrent Programs, May 1978, submitted to IEEE-TSE."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Francez, N., Hoare, C.A.R., Lehmann, J.D., De Roever, W.P.: Semantics of Nondeterminism, Concurrency and Communication, 1978.","DOI":"10.1007\/3-540-08921-7_67"},{"key":"17_CR8","first-page":"8","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. CACM, 21, 8, 1978.","journal-title":"CACM"},{"key":"17_CR9","volume-title":"Concurrent Processes and their Syntax","author":"G. Milne","year":"1977","unstructured":"Milne, G. and Milner, R.: Concurrent Processes and their Syntax. Dept. of Computer Science, Edinburgh, 1977."},{"key":"17_CR10","unstructured":"Sintzoff, M.: On Language Design for Program Construction; Centre de Recherche en Informatique, January 1978."},{"key":"17_CR11","first-page":"2","volume":"7","author":"N. Wirth","year":"1977","unstructured":"Wirth, N.: Modula \u2014 A Programming Language for Modular Programming; Software-Practice and Experience, 7, 2, March 1977.","journal-title":"Software-Practice and Experience"}],"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\/BFb0022476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:22Z","timestamp":1586578702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0022476","relation":{},"subject":[]}}