ConC: A language for concurrent programming

This publication has 9 references indexed in Scilit:

• The multiway rendezvous
  ACM Transactions on Programming Languages and Systems, 1987
• Script: A communication abstraction mechanism and its verification
  Science of Computer Programming, 1986
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• An Effective Implementation for the Generalized Input-Output Construct of CSP
  ACM Transactions on Programming Languages and Systems, 1983
• Concepts and Notations for Concurrent Programming
  ACM Computing Surveys, 1983
• The distributed programming language SR—Mechanisms, design and implementation
  Software: Practice and Experience, 1982
• High level programming for distributed computing
  Communications of the ACM, 1979
• Distributed processes
  Communications of the ACM, 1978