ConC: A Language for Concurrent Programming

@article{Garg1991ConCAL,
  title={ConC: A Language for Concurrent Programming},
  author={Vijay K. Garg and C. V. Ramamoorthy},
  journal={Comput. Lang.},
  year={1991},
  volume={16},
  pages={5-18}
}
  • Vijay K. Garg, C. V. Ramamoorthy
  • Published 1991
  • Computer Science
  • Comput. Lang.
  • Abstract Present concurrent languages do not support any form of analysis of the communication structure of programs. To support high level specification and analysis of distributed systems, we propose two new constructs—handshake and unit. The handshake construct is a remote procedure call generalized for multiple parties. The unit construct restricts the possible calls to various handshake procedures, and thereby provides a synchronization mechanism. These constructs are part of a formal… CONTINUE READING

    References

    Publications referenced by this paper.
    SHOWING 1-6 OF 6 REFERENCES

    Distributed processes: a concurrent programming concept

    VIEW 2 EXCERPTS
    HIGHLY INFLUENTIAL

    Communicating sequential processes

    VIEW 10 EXCERPTS
    HIGHLY INFLUENTIAL

    The Cambridge Distributed Computing System

    • A. J. Herbert
    • Computer Science
    • Advanced Course: Local Area Networks
    • 1983

    The multiway rendezvous

    VIEW 2 EXCERPTS

    Modeling and Analysis of Concurrent Systems", in book Handbook of Software Engineering, ed

    • T. Murata
    • C.R.Vick and C.V.Ramamoorthy, Publ.Van Nostrand Reinhold,
    • 1984
    VIEW 1 EXCERPT