Computers & Internet Books:

Logics for Concurrency

Structure versus Automata

Format

Paperback / softback

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

Logics for Concurrency
Save $94.00
$143.99 was $237.99
or 4 payments of $36.00 with Learn more
In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 2-3 weeks

Availability

Delivering to:

Estimated arrival:

  • Around 14-20 December using Express Delivery
    Mighty Ape can deliver this product within 1-2 business days (usually overnight) to urban centres across Australia, and some remote areas. Learn more
  • Around 17-24 December using standard courier delivery

Description

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. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail. Much attention is paid to the style of writing and complementary coverage of the relevant issues. Thus these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally, they are indispensable reading for anyone researching the area of distributed computing.
Release date Australia
March 6th, 1996
Contributors
Edited by Faron Moller Edited by Graham M. Birtwistle
Country of Publication
Germany
Edition
1996 ed.
Illustrations
XIII, 268 p.
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Pages
268
Dimensions
155x233x15
ISBN-13
9783540609155
Product ID
2836539

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...