Defining Conditional Independence Using Collapses

This publication has 14 references indexed in Scilit:

• Semantic independence
  Science of Computer Programming, 1989
• Stepwise refinement of action systems
  Published by Springer Nature ,1989
• Towards a theory of simulation for verification of concurrent systems
  Published by Springer Nature ,1989
• Modeling concurrency by partial orders and nonlinear transition systems
  Published by Springer Nature ,1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• 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