{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:32Z","timestamp":1725663392424},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160427"},{"type":"electronic","value":"9783540397229"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16042-6_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:33:03Z","timestamp":1330194783000},"page":"42-72","source":"Crossref","is-referenced-by-count":1,"title":["A new class of high level programs for distributed computing systems"],"prefix":"10.1007","author":[{"given":"S.","family":"Ramesh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. L.","family":"Mehndiratta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Formal justification of a proof system for communicating sequential processes, Journal of the ACM, Vol. 30, No. 1 (1983).","DOI":"10.1145\/322358.322372"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K. R., Francez, N. and de Rover, W. P., A proof system for communicating sequential processes, ACM TOPLAS, Vol. 2, No. 3 (1980).","DOI":"10.1145\/357103.357110"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Back, R. J. R. and Kurki-Suonio, R., Decentralization of process nets with centralized control, Proc. of 2nd ACM Conf. on PODC, Montreal, August 1983.","DOI":"10.1145\/800221.806716"},{"key":"3_CR4","series-title":"Technical Report","volume-title":"Cooperation in Distributed Systems Using Symmetric Multi-Process Handshaking","author":"R. J. R. R. Back","year":"1984","unstructured":"Back, R. J. R. and Kurki-Suonio, R., Cooperation in Distributed Systems Using Symmetric Multi-Process Handshaking, Technical Report, Ser. A, No. 34, Abo Akademi, Finland, 1984."},{"key":"3_CR5","series-title":"Technical Report","volume-title":"A Fair and Efficient Implementation of CSP with Output Guards","author":"R. J. R. R. Back","year":"1984","unstructured":"Back, R. J. R., Ekulund, P. and Kurki-Suonio, R., A Fair and Efficient Implementation of CSP with Output Guards, Technical Report, Ser. A, No. 38, Abo Akademi, Finland, 1984."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Buckley, G. N. and Silberschatz, A., An effective implementation for the generalized input-output construct of CSP, ACM TOPLAS, Vol. 5, No. 2 (1983).","DOI":"10.1145\/69624.357208"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Chandy, K. M., Misra, J. and Hass, L. M., Distributed deadlock detection, ACM TOPLAS, Vol. 1, No. 2 (1983).","DOI":"10.1145\/357360.357365"},{"key":"3_CR8","unstructured":"Chandy, K. M., Paradigm for distributed computing, Rec. of 3rd Conf. on FST-TCS, Bangalore, December 1983."},{"key":"3_CR9","unstructured":"Chang, E. J. H., Echo algorithms: Depth parallel operations on general graphs, IEEE-TSE, Vol. SE-8, No. 4 (1980)."},{"key":"3_CR10","unstructured":"Dijkstra, E. W. D., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, 1976."},{"key":"3_CR11","volume-title":"Complementary Definition of Programming Language Semantics \u2014 LNCS 42","author":"J. E. Donahue","year":"1976","unstructured":"Donahue, J. E., Complementary Definition of Programming Language Semantics \u2014 LNCS 42, Springer-Verlag, Berlin, 1976."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Elrad, Tz. and Francez, N., Decomposition of distributed programs into communication closed layers, Science of Computer Programming, Vol. 2 (1982).","DOI":"10.1016\/0167-6423(83)90013-8"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Francez, N. and Hailpern, B., Script: A communication abstraction mechanism, Proc. of 2nd ACM Conf. on PODC, Montreal, August 1983.","DOI":"10.1145\/800221.806723"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R., Communicating sequential processes, Communication of the ACM, Vol. 21, No. 8 (1978).","DOI":"10.1145\/359576.359585"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Levin, G. and Gries, D. Proof techniques for communicating sequential processes, Acta Informatica, Vol. 15 (1981).","DOI":"10.1007\/BF00289266"},{"key":"3_CR16","volume-title":"A Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z., A Mathematical Theory of Computation, McGraw-Hill, Kogakusha Ltd., Tokyo, 1974."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Moitra, A., Synthesis of communicating processes, Proc. of 2nd ACM Conf. on PODC, Montreal, August 1983.","DOI":"10.1145\/800221.806715"},{"key":"3_CR18","volume-title":"Proc. of IFIP Conf. on Formal Description of Programming Concepts-II","author":"G. D. Plotkin","year":"1983","unstructured":"Plotkin, G. D., An operational semantics of CSP, In: D. Bjorner (Ed.), Proc. of IFIP Conf. on Formal Description of Programming Concepts-II, North Holland Pub. Co., Amsterdam, 1983."},{"key":"3_CR19","unstructured":"Prasad, V. R., Derivation of Distributed Programs from Sequential Programs, Technical Report, TR 87, T.I.F.R., Bombay, August 1983."},{"key":"3_CR20","unstructured":"Ramesh, S. and Mehndiratta, S. L., A methodology for developing distributed programs, Submitted for publication."},{"key":"3_CR21","unstructured":"Ramesh, S., Programming with Shared Actions: A Methodology for Developing Distributed Programs, Ph.D. Thesis to be submitted to I. I. T., Bombay."},{"key":"3_CR22","unstructured":"Schwartz, J. S., Distributed Synchronization of Communicating Sequential Processes, Technical Report, DAI TR 56, Department of A. I., University of Edinburgh."},{"key":"3_CR23","volume-title":"Proof rules for communication abstraction, Proc. of 4th Conf. on FST-TCS, LNCS 181","author":"G. Taubenfeld","year":"1984","unstructured":"Taubenfeld, G. and Francez, N., Proof rules for communication abstraction, Proc. of 4th Conf. on FST-TCS, LNCS 181, Springer-Verlag, Berlin, 1984."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16042-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:09:38Z","timestamp":1605643778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16042-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160427","9783540397229"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-16042-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}