"Branching time" (Prior 1967, Thomason 1970) models indeterminism, but has no room for causal independence. "Branching space-times" (Synthese 1992) is a generalization that combines indeterminism and relativity, which permits the representation of true causal independence via the notion of "space-like relatedness." The question is whether the theory can be useful in representing parallel processing.
Host: Frank Pfenning
Appointments: Margaret Weigand
Principles
of Programming Seminars