Tell your friends about this item:
Logic for Concurrency and Synchronisation - Trends in Logic Ruy J G B De Queiroz
Logic for Concurrency and Synchronisation - Trends in Logic
Ruy J G B De Queiroz
The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades. This book shows the investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. It offers glimpses of integration with obvious links including modal logics for proof graphs.
285 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | May 31, 2003 |
| ISBN13 | 9781402012709 |
| Publishers | Kluwer Academic Publishers |
| Pages | 285 |
| Dimensions | 156 × 234 × 19 mm · 621 g |
| Editor | De Queiroz, R. J. |