{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:48Z","timestamp":1725455988971},"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\/bfb0022468","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"147-171","source":"Crossref","is-referenced-by-count":1,"title":["On describing the behavior and implementation of distributed systems"],"prefix":"10.1007","author":[{"given":"Nancy A.","family":"Lynch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael J.","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Petri, C.A., \"Kommunikation mit Automaten,\" Schriften des Reinish Westfalischen Inst. Instrumentelle Mathematik, Bonn. 1962."},{"key":"9_CR2","unstructured":"Hoare, C.A.R., \"Communicating Sequential Processes,\" Technical Report, Department of Computer Science, the Queen's University, Belfast, Northern Ireland, December, 1976."},{"key":"9_CR3","unstructured":"Milne, G. and R. Milner, \"Concurrent Processes and Their Syntax,\" Internal Report CSR-2-77, Department of Computer Science, Edinburg, May, 1977."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W., \"Co-operating Sequential Processes,\" Programming Languages, NATA Advanced Study Institute, Academic Press, 1968.","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"9_CR5","unstructured":"Campbell, R. and A. Habermann, \"The Specification of Process Synchronization Using Path Expressions,\" Lecture Notes in Computer Science, 16, Springer-Verlag, 1974."},{"key":"9_CR6","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TSE.1978.231501","volume":"3","author":"A.C. Shaw","year":"1978","unstructured":"Shaw, A.C., \"Software Descriptions with Flow Expressions,\" IEEE Trans. on Software Engineering SE-4, 3 (1978), 242\u2013254.","journal-title":"IEEE Trans. on Software Engineering SE-4"},{"key":"9_CR7","unstructured":"Feldman, J., \"Synchronizing Distant Cooperating Processes,\" Technical Report 26, Department of Computer Sciences, University of Rochester, October, 1977."},{"key":"9_CR8","unstructured":"Cremers, A. and T. N. Hibbard, \"Mutual Exclusion of N Processes Using an 0(N) \u2014 Valued Message Variable,\" USC Department of Computer Science Manuscript, 1975."},{"key":"9_CR9","unstructured":"Burns, J.E., M. J. Fischer, P. Jackson, N.A. Lynch, and G. L. Peterson, \"Shared Data Requirements for Implementation of Mutual Exclusion Using a Test-and-Set Primitive,\" Proceedings of 1978 International Conference on Parallel Processing (1978)."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., \"Computable Nondeterministic Functions,\" Proceedings of 19th Annual Symposium on Foundations of Computer Science, 1978.","DOI":"10.1109\/SFCS.1978.10"},{"issue":"12","key":"9_CR11","doi-asserted-by":"publisher","first-page":"931","DOI":"10.1145\/359897.359904","volume":"20","author":"Greif","year":"1977","unstructured":"Greif, Irene, \"A Language for Formal Problem Specification,\" Comm. ACM, 20, 12 (1977), 931\u2013935.","journal-title":"Comm. ACM"},{"key":"9_CR12","unstructured":"Atkinson, R. and C. Hewitt, \"Specification and Proof Techniques for Serializers,\" AI Memo 438, Massachusetts Institute of Technology, August, 1977."}],"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\/BFb0022468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:16Z","timestamp":1586578696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0022468","relation":{},"subject":[]}}