Semantics of Parallelism: Non-Interleaving Representation of Behaviour

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

The aim of this book is to provide 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 aims to give the reader a unified view of various attempts to model parallelism within one conceptual framework. It is aimed at postgraduates in theoretical computer science and academics who are teaching and researching in the modelling of discrete, concurrent or distributed systems. Workers in the information technology industry who are interested in available theoretical studies on parallelism should also be interested in this book.