Defining conditional independence using collapses

This publication has 12 references indexed in Scilit:

• Interleaving set temporal logic
  Theoretical Computer Science, 1990
• Semantic independence
  Science of Computer Programming, 1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Automatic translation of FORTRAN programs to vector form
  ACM Transactions on Programming Languages and Systems, 1987
• On interprocess communication
  Distributed Computing, 1986
• Decomposition of distributed programs into communication-closed layers
  Science of Computer Programming, 1982
• Communicating sequential processes
  Communications of the ACM, 1978
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• Proving assertions about parallel programs
  Journal of Computer and System Sciences, 1975
• Analysis of Programs for Parallel Processing
  IEEE Transactions on Electronic Computers, 1966