Appraising fairness in languages for distributed programming

This publication has 19 references indexed in Scilit:

• A compositional approach to superimposition
  Published by Association for Computing Machinery (ACM) ,1988
• Two normal form theorems for CSP programs
  Information Processing Letters, 1987
• A complete rule for equifair termination
  Journal of Computer and System Sciences, 1986
• A proof rule for fair termination of guarded commands
  Information and Control, 1985
• A proof system for concurrent ADA programs
  Science of Computer Programming, 1984
• Fair termination of communicating processes
  Published by Association for Computing Machinery (ACM) ,1984
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• Decentralization of process nets with centralized control
  Published by Association for Computing Machinery (ACM) ,1983
• Communicating sequential processes
  Communications of the ACM, 1978
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975