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 ...
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Not Issued with a Dust Jacket. 8vo-over 7¾"-9¾" tall. The first printing, 295 pages. "This book is the first to bring together the results of extensive recent reaserch activity about "fairness", one of the more intriguing notions in the theory of concurrent, distributed and nondeterministic programming. The book covers most of the know approaches for proving properties of programs under fairness assumptions. The discussion is developed through the choice of termination as the basic property under investigation, and proof-obligations as a main tool." FINE HARDCOVER.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Springer-Verlag, 1986. 147 Illustrations; Cover very barely rubbed/bumped/soiled, top spine end lightly bumped, bottom spine end very lightly soiled; top edge ever-so-slightly soiled/bumped; binding tight; edges and interior intact and very clean; text block exceptionally clean; a nice copy. hardcover. Good.
