Logics for Concurrency

Name: Logics for Concurrency: Structure Versus Automata
Brand: Springer
SKU: 9783540609155
Price: 5514.00 INR
Availability: InStock

Structure Versus Automata

by Faron Moller, Graham Birtwistle

Springer

₹5,514

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification.

Description supplied by the publisher.