Logic for Concurrency and Synchronisation (Trends in Logic)

The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and - with mainly two major paradigms at work, namely, linear logic and modal logic.