The Semantics of Parallelism: Non-Interleaving Representation of Behaviour

Front Cover
Springer-Verlag New York Incorporated, 1997 - Computers - 473 pages
0 Reviews
Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleaving approach of the process algebraists). Many results found in this book are collected for the first time outside conference and journal articles on the mathematics of non-interleaving semantics. It gives the reader a unified view of various attempts to model parallelism within one conceptual frame work. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent/distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism will also be interested in this book.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Contents

Whys and Wherefores
1
Behavioural Presentations
16
Presentations
30
Copyright

23 other sections not shown

Common terms and phrases

References from web pages

Semantics of Parallelism
Semantics of Parallelism: Non-Interleaving Representation of Behaviour. Semantics of Parallelism. Purchase this Book. Source. Pages: 488. Medium: Paperback ...
portal.acm.org/ citation.cfm?id=581022& dl=& coll=GUIDE& CFID=15151515& CFTOKEN=6184618

Bibliographic information