Parallel Temporal Tableaux.

R. I. Scott, Michael Fisher, John A. Keane

Browse the full EuroPar paper archive.