{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:15Z","timestamp":1725663255746},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_25","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:59Z","timestamp":1330194239000},"page":"512-523","source":"Crossref","is-referenced-by-count":3,"title":["The NIL distributed systems programming language: A status report"],"prefix":"10.1007","author":[{"given":"Robert E.","family":"Strom","sequence":"first","affiliation":[]},{"given":"Shaula","family":"Yemini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Apt, Krzysztof, Nissim Francez and Willem P. de Roever \u201cA Proof System for Communicating Sequential Processes ACM TOPLAS, July, 1980.","DOI":"10.1145\/357103.357110"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Codd, E. F. \u2018A Relational Model of Data for Large Shared Data Banks', Communications of the ACM, vol 13, No 6., June 1970.","DOI":"10.1145\/362384.362685"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Hailpern, B., Verifying Concurrent Processes Using Temporal Logic, Lecture Notes in Computer Science, no. 129, 1982.","DOI":"10.1007\/3-540-11205-7"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R. \u2018Communicating Sequential Processes\u2019 CACM August, 1978","DOI":"10.1145\/359576.359585"},{"key":"25_CR5","unstructured":"Karjoth, Gunter \u2018A Behavioral Description Language for the Formal Treatment of Protocols in Distributed Systems\u2019 Proc. Protocol Specification, Testing and Verification, iii North Holland, June 1983"},{"key":"25_CR6","unstructured":"Keller, Robert M., and Prakash Panangaden, \u2018An Archival Approach to the Semantics of Indeterminate Operators\u2019 Draft Report, University of Utah."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Lamport, L., 'specifying Concurrent Program Modules\u2019 ACM TOPLAS 5:2, April 1983 July 1978.","DOI":"10.1145\/69624.357207"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Milner, Robin \u2018A Calculus of Communicating Systems', Springer-Verlag Lecture Notes in Computer Science #92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Misra, Jayadev, and K. Mani Chandy \u2018Proofs of Networks of Processes\u2019 IEEE Transactions on Software Engineering July, 1981.","DOI":"10.1109\/TSE.1981.230844"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Misra, Jayadev, K. Mani Chandy and Tod Smith \u2018Proving Safety and Liveness of Communicating Processes with Examples\u2019 Proc. Principles of Distributed Computing August, 1982.","DOI":"10.1145\/800220.806698"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Pratt, V.R. \u2018On the Composition of Processes\u2019 Ninth Symposium on Principles of Programming Languages, Albuquerque NM, January 1982.","DOI":"10.1145\/582153.582177"},{"key":"25_CR12","unstructured":"Smolka, S., \"A CCS Semntics for NIL\", IBM Research Report, in preparation."},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Strom, R. E., \"Mechanisms for Compile-Time Enforcement of Security\", Tenth Symposium on Principles of Programming Languages, Austin, January 1983.","DOI":"10.1145\/567067.567093"},{"key":"25_CR14","unstructured":"Strom, R. E., and Yemini, S. \u2018NIL: An Integrated Language and System for Distributed Programming', IBM Research Report RC9949."},{"key":"25_CR15","unstructured":"Strom, R. E., and Yemini, S. \u2018Optimistic Recovery: An Asynchronous Approach to Fault Tolerance in Distributed Systems\u2019 in proc. FTCS-14, June 1984, also available as IBM Research Report RC 10353."},{"key":"25_CR16","unstructured":"Strom, R. E. and Yemini, S., 'synthesizing Distributed Protocols through Optimistic Transformations\u2019 Proc. Fourth International Workshop on Protocol Specification, Testing and Validation, Skytop Penn. June 1984, to be published by North Holland, 1984."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:45Z","timestamp":1605643725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}