Logic for Concurrency and Synchronisation
Ruy J. G. B. de Queiroz, Ruy J. G. B. De Ed Queiroz, R. J. de QueirozBooks.org participates in affiliate programs including Bookshop.org and the Amazon Services LLC Associates Program. We may earn a commission from qualifying purchases made through links on this page, at no additional cost to you.
Overview
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.
Synopsis
This volume explores the most current investigations of process calculi based on two main paradigms: linear logic and modal logic. Contributors address the geometry of deduction via graphs of proofs; a proof-theoretic approach to Chu's construction; two paradigms of logical computation in affine logic; proof systems for pi-calculus logics; a tutorial introduction to symbolic model checking; modal logics for finite graphs; and bisimulation and language equivalence. Of likely interest to researchers in computer science, mathematical logic, and philosophical logic. Annotation ©2003 Book News, Inc., Portland, OR