{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:36Z","timestamp":1725663756357},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551607"},{"type":"electronic","value":"9783540467625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55160-3_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:05Z","timestamp":1330249805000},"page":"21-38","source":"Crossref","is-referenced-by-count":5,"title":["Reasoning about synchronic groups"],"prefix":"10.1007","author":[{"given":"Gruia -Catalin","family":"Roman","sequence":"first","affiliation":[]},{"given":"H. Conrad","family":"Cunningham","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.-P. Ban\u00e2tre","year":"1990","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. The GAMMA model and its discipline of programming. Science of Computer Programming, 15:55\u201377, 1990.","journal-title":"Science of Computer Programming"},{"key":"3_CR2","volume-title":"Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming","author":"L. Brownston","year":"1985","unstructured":"L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading, Massachusetts, 1985."},{"issue":"4","key":"3_CR3","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter. Linda in context. Communications of the ACM, 32(4):444\u2013458, April 1989.","journal-title":"Communications of the ACM"},{"key":"3_CR4","volume-title":"Parallel Program Design: A Foundation","author":"K. M. Chandy","year":"1988","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, Massachusetts, 1988."},{"issue":"3","key":"3_CR5","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1109\/71.80163","volume":"1","author":"H. C. Cunningham","year":"1990","unstructured":"H. C. Cunningham and G.-C. Roman. A UNITY-style programming logic for shared dataspace programs. IEEE Transactions on Parallel and Distributed Systems, 1(3):365\u2013376, July 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"3_CR6","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976."},{"issue":"2","key":"3_CR7","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"M. J. Fischer","year":"1985","unstructured":"M. J. Fischer, N. A. Lynch, and M. S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374\u2013382, April 1985.","journal-title":"Journal of the ACM"},{"key":"3_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4886-6","volume-title":"Fairness","author":"N. Francez","year":"1986","unstructured":"N. Francez. Fairness. Springer-Verlag, New York, 1986."},{"key":"3_CR9","unstructured":"R. F. Gamble, G.-C. Roman, and W. E. Ball. Formal verification of pure production system programs. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pages 339\u2013334, July 1991."},{"issue":"12","key":"3_CR10","doi-asserted-by":"crossref","first-page":"1170","DOI":"10.1145\/7902.7903","volume":"29","author":"W. D. Hillis","year":"1986","unstructured":"W. D. Hillis and G. L. Steele Jr. Data parallel algorithms. Communications of the ACM, 29(12):1170\u20131183, December 1986.","journal-title":"Communications of the ACM"},{"issue":"8","key":"3_CR11","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666\u2013677, August 1978.","journal-title":"Communications of the ACM"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Y. Liu and A. K. Singh. Parallel programming: Achieving portability through abstraction. In Proceedings of the 11th International Conference on Distributed Computing Systems (ICDCS-11), pages 634\u2013640. IEEE, May 1991.","DOI":"10.1109\/ICDCS.1991.148737"},{"key":"3_CR13","volume-title":"Soundness of the substitution axiom. Notes on UNITY 14\u201390","author":"J. Misra","year":"1990","unstructured":"J. Misra. Soundness of the substitution axiom. Notes on UNITY 14\u201390, Department of Computer Sciences, University of Texas at Austin, Austin, Texas, March 1990."},{"issue":"3","key":"3_CR14","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1145\/357139.357142","volume":"3","author":"M. Rem","year":"1981","unstructured":"M. Rem. Associons: A program notation with tuples instead of variables. ACM Transactions on Programming Languages and Systems, 3(3):251\u2013262, July 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"12","key":"3_CR15","doi-asserted-by":"crossref","first-page":"1361","DOI":"10.1109\/32.62445","volume":"16","author":"G.-C. Roman","year":"1990","unstructured":"G.-C. Roman and H. C. Cunningham. Mixed programming metaphors in a shared dataspace model of concurrency. IEEE Transactions on Software Engineering, 16(12):1361\u201373, December 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR16","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986."},{"key":"3_CR17","volume-title":"Technical Note 494","author":"R. J. Waldinger","year":"1990","unstructured":"R. J. Waldinger and M. E. Stickel. Proving properties of rule-based systems. Technical Note 494, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, December 1990."}],"container-title":["Lecture Notes in Computer Science","Reasearch Directions in High-Level Parallel Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55160-3_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:07Z","timestamp":1619573287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}