Joint papers of Gabbai and Shelah

GPShS:134
Gabbai+Pnueli+Shelah+Stavi, On the temporal analysis of fairness -- Proc.~ seventh Annual SIG ACT --- SIG PLAN Symposium on Principles of Programming Languages, January 23- 30, 1980 (1980) 163--173


Back to theList of coauthors
Back to Shelah's Archive