This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Apt, K. R., Formal justification of a proof system for communicating sequential processes, Journal of the ACM, Vol. 30, No. 1 (1983).
Apt, K. R., Francez, N. and de Rover, W. P., A proof system for communicating sequential processes, ACM TOPLAS, Vol. 2, No. 3 (1980).
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.
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.
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.
Buckley, G. N. and Silberschatz, A., An effective implementation for the generalized input-output construct of CSP, ACM TOPLAS, Vol. 5, No. 2 (1983).
Chandy, K. M., Misra, J. and Hass, L. M., Distributed deadlock detection, ACM TOPLAS, Vol. 1, No. 2 (1983).
Chandy, K. M., Paradigm for distributed computing, Rec. of 3rd Conf. on FST-TCS, Bangalore, December 1983.
Chang, E. J. H., Echo algorithms: Depth parallel operations on general graphs, IEEE-TSE, Vol. SE-8, No. 4 (1980).
Dijkstra, E. W. D., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, 1976.
Donahue, J. E., Complementary Definition of Programming Language Semantics — LNCS 42, Springer-Verlag, Berlin, 1976.
Elrad, Tz. and Francez, N., Decomposition of distributed programs into communication closed layers, Science of Computer Programming, Vol. 2 (1982).
Francez, N. and Hailpern, B., Script: A communication abstraction mechanism, Proc. of 2nd ACM Conf. on PODC, Montreal, August 1983.
Hoare, C. A. R., Communicating sequential processes, Communication of the ACM, Vol. 21, No. 8 (1978).
Levin, G. and Gries, D. Proof techniques for communicating sequential processes, Acta Informatica, Vol. 15 (1981).
Manna, Z., A Mathematical Theory of Computation, McGraw-Hill, Kogakusha Ltd., Tokyo, 1974.
Moitra, A., Synthesis of communicating processes, Proc. of 2nd ACM Conf. on PODC, Montreal, August 1983.
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.
Prasad, V. R., Derivation of Distributed Programs from Sequential Programs, Technical Report, TR 87, T.I.F.R., Bombay, August 1983.
Ramesh, S. and Mehndiratta, S. L., A methodology for developing distributed programs, Submitted for publication.
Ramesh, S., Programming with Shared Actions: A Methodology for Developing Distributed Programs, Ph.D. Thesis to be submitted to I. I. T., Bombay.
Schwartz, J. S., Distributed Synchronization of Communicating Sequential Processes, Technical Report, DAI TR 56, Department of A. I., University of Edinburgh.
Taubenfeld, G. and Francez, N., Proof rules for communication abstraction, Proc. of 4th Conf. on FST-TCS, LNCS 181, Springer-Verlag, Berlin, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramesh, S., Mehndiratta, S.L. (1985). A new class of high level programs for distributed computing systems. In: Maheshwari, S.N. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1985. Lecture Notes in Computer Science, vol 206. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16042-6_3
Download citation
DOI: https://doi.org/10.1007/3-540-16042-6_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16042-7
Online ISBN: 978-3-540-39722-9
eBook Packages: Springer Book Archive