Logic for Concurrency and Synchronisation

by Ruy J.G.B. de Queiroz (Editor)

This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.

306 pages, Hardcover

First published May 31, 2003