Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets (English, Dirk A. Taubner)

Name: Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets (English, Dirk A. Taubner)
SKU: isbn-9783540515258
Price: 5464.00 INR
Availability: InStock
ISBN: 9783540515258

By Dirk A. TaubnerSpringer

₹5,464

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:

Free DeliveryOn every order

15-Day ReturnEasy returns

Genuine BookPhysical copy only

Available Offers

🚚Free Delivery — Free shipping on all orders
💵Cash on Delivery — Pay when your order arrives
↩️15-Day Easy Returns — Hassle-free return policy
🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Product Description

About the Book

This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives. On the other hand there are machine models, i.e. the classical finite state automata (transition systems), for which…

ISBN: 9783540515258

Book Specifications

ISBN-13	9783540515258
ISBN-10	3540515259
Publisher	Springer
Category	Springer

Frequently Asked Questions

What is the price of Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets?

Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets is available at ₹5,464 on BookShops.in.

Does BookShops.in offer free delivery for Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets?

FREE delivery on all orders for Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets.

Is Cash on Delivery available for Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets?

Yes, Cash on Delivery (COD) is available for Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets on BookShops.in. Pay when your order arrives.

What is the return policy for Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets?

BookShops.in offers a 15-day hassle-free return policy for Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets. Contact us at support@bookshops.in or call +91 90874 10993.

Is Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets authentic?

Finite Representations of CCS and Tcsp Programs by Automata and Petri Nets is listed on BookShops.in after verification of product details including ISBN, title, and availability information.