Logic for Concurrency and Synchronisation by Springer (Paperback, 2013)

Brand new: lowest price

AU $277.10

Free postage
  • Get it by Fri, 23 Mar - Wed, 11 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
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.