Skip to main content
SpringerLink
Log in

Fairness

  • Book
  • © 1986

Overview

Authors:
  1. Nissim Francez

    1. Department of Computer Science, Technion—Israel Institute of Technology, Haifa, Israel

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Introduction

    • Nissim Francez
    Pages 1-14

  3. Termination and Well-Foundedness

    • Nissim Francez
    Pages 15-23

  4. The Method of Helpful Directions

    • Nissim Francez
    Pages 24-57

  5. The Method of Explicit Scheduler

    • Nissim Francez
    Pages 58-93

  6. Extension and Generalizations of Fairness

    • Nissim Francez
    Pages 94-131

  7. Fair Termination of Concurrent Processes

    • Nissim Francez
    Pages 132-172

  8. Syntactic Expressibility

    • Nissim Francez
    Pages 173-201

  9. Fairness in Temporal Logic

    • Nissim Francez
    Pages 202-239

  10. The Functional Approach

    • Nissim Francez
    Pages 240-278

  11. Back Matter

    Pages 279-297
    Download chapter PDF
Back to top

Keywords

About this book

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.

Authors and Affiliations

  • Department of Computer Science, Technion—Israel Institute of Technology, Haifa, Israel

    Nissim Francez

Bibliographic Information

  • Book Title: Fairness

  • Authors: Nissim Francez

  • Series Title: Monographs in Computer Science

  • DOI: https://doi.org/10.1007/978-1-4612-4886-6

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag New York Inc. 1986

  • Softcover ISBN: 978-1-4612-9347-7Published: 08 October 2011

  • eBook ISBN: 978-1-4612-4886-6Published: 06 December 2012

  • Series ISSN: 0172-603X

  • Series E-ISSN: 2512-5486

  • Edition Number: 1

  • Number of Pages: XIV, 298

  • Topics: Logics and Meanings of Programs, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation