Logic for Concurrency and Synchronisation

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 study of information-based actions and processes is a vibrant interface between logic and computer science. The individual chapters of this book show the state of the art in contemporary investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. Viewed together, the chapters also offer glimpses of future integration with obvious links including modal logics for proof graphs, labelled deduction merging modal and linear logic, Chu spaces linking proof theory and model theory and bisimulation-style equivalences for analysing proof processes. The combination of approaches and pointers for further integration also suggests a grander vision for the field.