Logic For Concurrency And Synchronisation
Download Logic For Concurrency And Synchronisation PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Logic For Concurrency And Synchronisation book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Logic for Concurrency and Synchronisation
Author: R.J. De Queiroz
language: en
Publisher: Springer Science & Business Media
Release Date: 2003-05-31
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 work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.
Logic for Concurrency and Synchronisation
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 work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.