Procol

This publication has 16 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• An implementation of the object‐oriented concurrent programming language SINA
  Software: Practice and Experience, 1989
• Delegation is inheritance
  ACM SIGPLAN Notices, 1987
• Constraint-based tools for building user interfaces
  ACM Transactions on Graphics, 1986
• An introduction to Trellis/Owl
  ACM SIGPLAN Notices, 1986
• Process Communication Based on Input Specifications
  ACM Transactions on Programming Languages and Systems, 1981
• High level programming for distributed computing
  Communications of the ACM, 1979
• Communicating sequential processes
  Communications of the ACM, 1978
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• Abstraction and verification in Alphard
  Communications of the ACM, 1977