Author: "Francez, Nissim" / Journal: fairness - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Francez, Nissim"' showing total 9 results

Start Over Author "Francez, Nissim" Journal fairness

9 results on '"Francez, Nissim"'

1. The Functional Approach

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

2. Fairness in Temporal Logic

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

3. Syntactic Expressibility

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

4. Extension and Generalizations of Fairness

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

5. Fair Termination of Concurrent Processes

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

6. The Method of Explicit Scheduler

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

7. Termination and Well-Foundedness

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

8. The Method of Helpful Directions

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

9. Introduction

Author: Francez, Nissim, Gries, David, editor, and Francez, Nissim
Published: 1986
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results