Ebook: Fairness
Author: Nissim Francez (auth.)
- Tags: Logics and Meanings of Programs, Software Engineering
- Series: Texts and Monographs in Computer Science
- Year: 1986
- Publisher: Springer-Verlag New York
- Edition: 1
- Language: English
- pdf
The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor tant, namely fairness. Much of the reported research is still in the form of technical reports, theses and conference papers, and only a small part has already appeared in the formal scientific journal literature. Fairness is one of those concepts that can intuitively be explained very brieft.y, but bear a lot of consequences, both in theory and the practicality of programming languages. Scientists have traditionally been attracted to studying such concepts. However, a rigorous study of the concept needs a lot of detailed development, evoking much machinery of both mathemat ics and computer science. I am fully aware of the fact that this field of research still lacks matu rity, as does the whole subject of theoretical studies of concurrency and nondeterminism. One symptom of this lack of maturity is the proliferation of models used by the research community to discuss these issues, a variety lacking the invariance property present, for example, in universal formalisms for sequential computing.
Content:
Front Matter....Pages i-xiii
Introduction....Pages 1-14
Termination and Well-Foundedness....Pages 15-23
The Method of Helpful Directions....Pages 24-57
The Method of Explicit Scheduler....Pages 58-93
Extension and Generalizations of Fairness....Pages 94-131
Fair Termination of Concurrent Processes....Pages 132-172
Syntactic Expressibility....Pages 173-201
Fairness in Temporal Logic....Pages 202-239
The Functional Approach....Pages 240-278
Back Matter....Pages 279-297
Content:
Front Matter....Pages i-xiii
Introduction....Pages 1-14
Termination and Well-Foundedness....Pages 15-23
The Method of Helpful Directions....Pages 24-57
The Method of Explicit Scheduler....Pages 58-93
Extension and Generalizations of Fairness....Pages 94-131
Fair Termination of Concurrent Processes....Pages 132-172
Syntactic Expressibility....Pages 173-201
Fairness in Temporal Logic....Pages 202-239
The Functional Approach....Pages 240-278
Back Matter....Pages 279-297
....