{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T04:22:34Z","timestamp":1648614154690},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1990,4,1]],"date-time":"1990-04-01T00:00:00Z","timestamp":638928000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1990,4]]},"DOI":"10.1007\/bf03037451","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:52:46Z","timestamp":1240541566000},"page":"341-364","source":"Crossref","is-referenced-by-count":1,"title":["A functional style of programming with CSP-like communication mechanisms"],"prefix":"10.1007","volume":"7","author":[{"given":"A. K.","family":"Goswami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. M.","family":"Patnaik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037451_CR1","first-page":"1","volume-title":"Lecture Notes in Computer Science 107","author":"J. Backus","year":"1981","unstructured":"Backus, J., \u201cThe algebra of functional programs; function level reasoning, linear equations, and extended definitions,\u201d inLecture Notes in Computer Science 107, Springer-Verlag, Heidelberg, pp. 1\u201343, 1981."},{"issue":"No. 8","key":"BF03037451_CR2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J., \u201cCan programming be liberated from the von Neumann style? A functional style and its algebra of programs,\u201dCommunications of the ACM, Vol. 21, No. 8, pp. 613\u2013641, 1978.","journal-title":"Communications of the ACM"},{"key":"BF03037451_CR3","volume-title":"Mathematical Theory of Program Correctness","author":"J. W. Bakker de","year":"1980","unstructured":"de Bakker, J. W.,Mathematical Theory of Program Correctness, Prentice-Hall, N. J., 1980."},{"issue":"No. 11","key":"BF03037451_CR4","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","volume":"21","author":"P. Brinch Hansen","year":"1978","unstructured":"Brinch Hansen, P., \u201cDistributed processs: a concurrent programming concept,\u201dCommunications of the ACM, Vol. 21, No. 11, pp. 934\u2013941, 1978.","journal-title":"Communications of the ACM"},{"issue":"No. 2","key":"BF03037451_CR5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0020-0190(80)90009-5","volume":"11","author":"M. Broy","year":"1980","unstructured":"Broy, M., \u201cTransformational semantics of concurrent programs,\u201dInformation Processing Letters, Vol. 11, No. 2, pp. 87\u201391, 1980.","journal-title":"Information Processing Letters"},{"key":"BF03037451_CR6","first-page":"533","volume-title":"Lecture Notes in Computer Science 69","author":"M. Broy","year":"1979","unstructured":"Broy, M., Gnatz, R. and Wirsing, M., \u201cSemantics of nondeterministic and non-continuous constructs,\u201d inLecture Notes in Computer Science 69, Springer-Verlag, Heidelberg, pp. 533\u2013592, 1979."},{"key":"BF03037451_CR7","volume-title":"Recursive Programming Techniques","author":"W. H. Burge","year":"1975","unstructured":"Burge, W. H.,Recursive Programming Techniques, Addison-Wesley, Massachusetts, 1975."},{"key":"BF03037451_CR8","first-page":"251","volume-title":"Information Processing 80","author":"A. J. Catto","year":"1980","unstructured":"Catto, A. J. and Gurd, J. R., \u201cNondeterministic dataflow graphs,\u201d inInformation Processing 80, (S. H. Lavington, ed.) North-Holland, Amsterdam, pp. 251\u2013256, 1980."},{"key":"BF03037451_CR9","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W.,A Discipline of Programming, Prentice-Hall, N. J., 1976."},{"key":"BF03037451_CR10","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0167-6423(83)90013-8","volume":"2","author":"T. Elrad","year":"1982","unstructured":"Elrad, T. and Francez, N. \u201cDecomposition of distributed programs into communication-closed layers\u201d,Science of Computer Programming 2, pp. 155\u2013173, 1982.","journal-title":"Science of Computer Programming"},{"issue":"No. 2","key":"BF03037451_CR11","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1137\/0210016","volume":"10","author":"L. Flon","year":"1981","unstructured":"Flon, L. and Suzuki, N., \u201cThe total correctness of parallel programs,\u201dSIAM Journal of Computing, Vol. 10, No. 2, pp. 227\u2013246, 1981.","journal-title":"SIAM Journal of Computing"},{"key":"BF03037451_CR12","unstructured":"de Francesco, N. Perego G., Tomasi, A., Vaglini, G. and Vanneschi, M., \u201cOn the feasibility of nondeterministic and interprocess communication constructs in data-flow systems\u201d, inProceedings First European Conference on Parallel and Distributed Processing, pp. 93\u2013100, 1979."},{"issue":"No. 1","key":"BF03037451_CR13","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/357084.357087","volume":"2","author":"N. Francez","year":"1980","unstructured":"Francez, N., \u201cDistributed termination,\u201dACM Transactions on Programming Languages and Systems, Vol. 2, No. 1, pp. 42\u201355, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037451_CR14","volume-title":"Nondeterminism and Communication in Functional Programming Systems: A Study in Formal Program Development","author":"A. K. Goswami","year":"1985","unstructured":"Goswami, A. K., \u201cNondeterminism and Communication in Functional Programming Systems: A Study in Formal Program Development\u201d.Ph. D. thesis, School of Automation, Indian Institute of Science, Bangalore, 1985."},{"issue":"No. 10","key":"BF03037451_CR15","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R., \u201cAn axiomatic basis for computer programming,\u201dCommunications of the ACM, Vol. 12, No. 10, pp. 576\u2013583, 1969.","journal-title":"Communications of the ACM"},{"issue":"No. 8","key":"BF03037451_CR16","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare, C. A. R., \u201cCommunicating sequential processes,\u201dCommunications of the ACM, Vol. 21, No. 8, pp. 666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"BF03037451_CR17","first-page":"265","volume-title":"Information Processessing 83","author":"T. Ida","year":"1983","unstructured":"Ida, T. and Tanaka, J., \u201cFunctional programming with streams,\u201d inInformation Processessing 83, R. E. A. Mason, ed., North-Holland, Amsterdam, pp. 265\u2013270, 1983."},{"key":"BF03037451_CR18","volume-title":"Resource Control in a Demand-driven Data-flow Model","author":"B. Jayaraman","year":"1981","unstructured":"Jayaraman, B., \u201cResource Control in a Demand-driven Data-flow Model,\u201d.Ph. D. thesis, Department of Computer Science, University of Utah, Utah, 1981."},{"key":"BF03037451_CR19","first-page":"471","volume-title":"Information Processing 74","author":"G. Kahn","year":"1974","unstructured":"Kahn, G., \u201cThe semantics of a simple language for parallel programming,\u201d inInformation Processing 74, J. L. Rosenfeld, ed., North-Holland, Amsterdam, pp. 471\u2013475, 1974."},{"key":"BF03037451_CR20","first-page":"993","volume-title":"Information Processing 77","author":"G. Kahn","year":"1977","unstructured":"Kahn, G. and Macqueen, D., \u201cCoroutines and networks of parallel processes,\u201d inInformation Processing 77, B. Gilchrist, ed., North-Holland, Amsterdam, pp. 993\u2013998, 1977."},{"issue":"No. 2","key":"BF03037451_CR21","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/357073.357077","volume":"1","author":"R. B. Kieburtz","year":"1979","unstructured":"Kieburtz, R. B. and Silberschatz, A., \u201cComments on communicating sequential processes\u201d,ACM Transactions on Programming Languages and Systems, Vol. 1, No. 2, pp. 218\u2013225, 1979.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"No. 2","key":"BF03037451_CR22","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L., \u201cProving the correctness of multiprocess programs,\u201dIEEE Transactions on Software Engineering, Vol. 3, No. 2, pp. 125\u2013143, 1977.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF03037451_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264015","volume":"12","author":"A. Lamsweerde van","year":"1979","unstructured":"van Lamsweerde, A. and Sintzoff, M., \u201cFormal derivation of strongly correct concurrent programs\u201d,Acta Informatica, 12, pp. 1\u201331, 1979.","journal-title":"Acta Informatica"},{"key":"BF03037451_CR24","volume-title":"The Foundations of Program Verification","author":"J. Loeckz","year":"1984","unstructured":"Loeckz, J. and Sieber, K.,The Foundations of Program Verification, John Wiley, Chichester, and B. G. Teubner, Stuttgart, 1984."},{"key":"BF03037451_CR25","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R., \u201cCalculi for synchrony and asynchrony\u201d,Theoretical Computer Science, 25, pp. 267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"BF03037451_CR26","first-page":"224","volume-title":"Lecture Notes in Computer Science 148","author":"A. Pettorossi","year":"1983","unstructured":"Pettorossi, A., \u201cTowards a theory of parallelism and communications for increasing efficiency in applicative languages,\u201d inLecture Notes in Computer Science 148, Springer-Verlag, Heidelberg, pp. 224\u2013249, 1983."},{"key":"BF03037451_CR27","first-page":"305","volume-title":"Lecture Notes in Computer Science 137","author":"A. Pettorossi","year":"1982","unstructured":"Pettorossi, A. and Skowron, A., \u201cCommunicating agents for applicative concurrent programming,\u201d inLecture Notes in Computer Science 137, Springer-Verlag, Heidelberg, pp. 305\u2013322, 1982."},{"key":"BF03037451_CR28","first-page":"51","volume-title":"Computer Program Synthesis Methodologies","author":"M. Sintzoff","year":"1983","unstructured":"Sintzoff, M., \u201cIssues in the methodical design of concurrent programs,\u201d inComputer Program Synthesis Methodologies (A. W. Biermann and G. Guiho, eds.), D. Reidel, Dordrecht, pp. 51\u201378, 1983."},{"key":"BF03037451_CR29","series-title":"Technical Report","volume-title":"Stream-oriented Computation in Recursive Data Flow Schemas","author":"K.-S. Weng","year":"1975","unstructured":"Weng, K.-S., \u201cStream-oriented Computation in Recursive Data Flow Schemas,\u201dTechnical Report, Lab. for Computer Science, Mass. Inst. Tech., Mass., 1975."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037451.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037451\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037451","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:37Z","timestamp":1558572757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037451"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,4]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,4]]}},"alternative-id":["BF03037451"],"URL":"https:\/\/doi.org\/10.1007\/bf03037451","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,4]]}}}