© 1986



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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Nissim Francez
    Pages 1-14
  3. Nissim Francez
    Pages 15-23
  4. Nissim Francez
    Pages 24-57
  5. Nissim Francez
    Pages 58-93
  6. Nissim Francez
    Pages 94-131
  7. Nissim Francez
    Pages 132-172
  8. Nissim Francez
    Pages 173-201
  9. Nissim Francez
    Pages 202-239
  10. Nissim Francez
    Pages 240-278
  11. Back Matter
    Pages 279-297

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.


computer science concurrency development language programming programming language

Authors and affiliations

  1. 1.Department of Computer ScienceTechnion—Israel Institute of TechnologyHaifaIsrael

Bibliographic information

  • Book Title Fairness
  • Authors Nissim Francez
  • Series Title Texts and Monographs in Computer Science
  • DOI
  • Copyright Information Springer-Verlag New York 1986
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-0-387-96235-1
  • Softcover ISBN 978-1-4612-9347-7
  • eBook ISBN 978-1-4612-4886-6
  • Series ISSN 0172-603X
  • Edition Number 1
  • Number of Pages XIV, 298
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
    Software Engineering
  • Buy this book on publisher's site
Industry Sectors
IT & Software