Nuel Belnap
University of Pittsburgh

Is branching space-times theory useful in understanding parallel processing?


"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

POP Seminar
December 4, 2002
3:30 p.m.
Wean Hall 8220