Logic for Concurrency and Synchronisation
Author | : R.J. De Queiroz |
Publisher | : Springer Science & Business Media |
Total Pages | : 298 |
Release | : 2006-04-11 |
ISBN-10 | : 9780306480881 |
ISBN-13 | : 0306480883 |
Rating | : 4/5 (81 Downloads) |
Download or read book Logic for Concurrency and Synchronisation written by R.J. De Queiroz and published by Springer Science & Business Media. This book was released on 2006-04-11 with total page 298 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.