{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:15Z","timestamp":1725664395028},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:02:21Z","timestamp":1330272141000},"page":"124-135","source":"Crossref","is-referenced-by-count":0,"title":["Towards the synthesis of asynchronous concurrent programs"],"prefix":"10.1007","author":[{"given":"D. K.","family":"Arvind","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. R. J.","family":"McConnell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science 366","volume-title":"PARLE'89 \u2014 Volume 2: Parallel Languages","author":"R. J. R. Back","year":"1989","unstructured":"R J R Back, \u201cA Method for Refining Atomicity in Parallel Algorithms\u201d, in E Odijk, M Rem and J C Syre (eds), PARLE'89 \u2014 Volume 2: Parallel Languages, Lecture Notes in Computer Science 366, Springer-Verlag, Berlin, (1989)."},{"key":"12_CR2","volume-title":"The Design and Implementation of ALICE: A Parallel Graph Reduction Machine","author":"M. D. Cripps","year":"1987","unstructured":"M D Cripps, J Darlington, A J Field, P G Harrison and M J Reeve, \u201cThe Design and Implementation of ALICE: A Parallel Graph Reduction Machine\u201d, in Proceedings of the Workshop on Graph Reduction, Springer Verlag, Berlin, (1987)."},{"key":"12_CR3","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G Gentzen","year":"1969","unstructured":"G Gentzen, \u201cInvestigations into Logcial Deduction\u201d, in M E Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, (1969)."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"J Goguen, S Leinwand, J Meseguer and T Winkler, \u201cThe Rewrite Rule Machine, 1988\u201d, Technical Monograph PRG-76, Oxford University Computing Laborotory, Programming Research Group, (1989).","DOI":"10.21236\/ADA210528"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"C Lengauer, \u201cLoop Parallelization in the Polytope Model\u201d, in Eike Best (ed.), CONCUR '93, LNCS 715, Springer-Verlag, (1993).","DOI":"10.1007\/3-540-57208-2_28"},{"key":"12_CR6","unstructured":"A J R G Milner, Communication and Concurrency, Prentice Hall International, (1989)."},{"key":"12_CR7","volume-title":"Proof and Computation","author":"B. C. Thompson","year":"1993","unstructured":"B C Thompson and J V Tucker, \u201cEquational Specification of Synchronous Concurrent Algorithms and Architectures\u201d, H Scwhichtenberg (ed.), Proof and Computation, Springer-Verlag, Berlin, (1993)."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"J V Tucker and J I Zucker, \u201cProvable Computable Selection Functions on Abstract Structures\u201d, in P Aczell, H Simmons and S S Wainer (eds) Proof Theory, Cambridge University Press, (1993).","DOI":"10.1017\/CBO9780511896262.012"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:41Z","timestamp":1605648041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}