Defining Conditional Independence Using Collapses
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Semantic independenceScience of Computer Programming, 1989
- Stepwise refinement of action systemsLecture Notes in Computer Science, 1989
- Towards a theory of simulation for verification of concurrent systemsLecture Notes in Computer Science, 1989
- Modeling concurrency by partial orders and nonlinear transition systemsPublished by Springer Nature ,1989
- Appraising fairness in languages for distributed programmingDistributed Computing, 1988
- Decomposition of distributed programs into communication-closed layersScience of Computer Programming, 1982
- Communicating sequential processesCommunications of the ACM, 1978
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975
- Analysis of Programs for Parallel ProcessingIEEE Transactions on Electronic Computers, 1966