Title: Specification and Analysis of Concurrent Systems: The Cosy Approach (E a T C S Monographs on Theoretical Computer Science)
Publisher: Springer-Verlag
Publication Date: 1992
Language: English
ISBN 10: 0387552049
ISBN 13: 9780387552040
Binding: Hardcover
Condition: New
Weight: 30 ounces

About this title

Synopsis

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of "synchronized" grammars and automata, permitting system specification and analysis of "true" concurrency without reduction to non-determinism. COSY theory is developed to a great level of detail and constitutes the first uniform and self-contained presentationof all results about COSY published in the past, as well as including many new results. COSY theory is used to analyze a sufficient number of typical problems involving concurrency, synchronization and scheduling, to allow the reader to apply the techniques presented tosimilar problems. The COSY model is also related to many alternative models of concurrency, particularly Petri Nets, Communicating Sequential Processes and the Calculus of Communicating Systems.

"About this title" may belong to another edition of this title.

Store Description

Thank you for visiting our profile. We are a home-based business have been selling books online since 2004 and joined AbeBooks in 2008. Feel free to e-mail us at BasementSeller101@gmail.com. We would be happy to assist you.

Visit Seller's Storefront

Seller's business information

Basement Seller 101
OH, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Orders usually ship within 2 business days. Expected shipping times for "Standard" orders is 4 to 14 business days and for "Expedited" orders is 3 to 5 business days. We do accept international orders, although shipment times may vary, usually from 3 to 6 weeks.

If you have any questions about our shipment times and policies, if you need a book faster, or if you would like to check the status of your order, please e-mail us.

Please note that we ship all "Standard" items via US Postal Service Media Mail and all "Expedited" items via US Postal Service Priority Mail. Our international orders go via USPS First Class or Priority International Mail. If you would like us to ship an item via another carrier, please e-mail us and we will try to accommodate you.

We can overnight books domestically and send books expedited internationally for an additional charge.

The majority of our packages are shipped using Stamps.com NetStamps, a non-trackable method. Please note that all items ordered via the "Expedited" shipping method are automatically shipped with Delivery Confirmation. If you would like your item shipped with Delivery Confirmation, please e-mail us before making your purchase.

We ship orders every day, Monday through Friday, (excluding Postal Service holidays) usually by 12PM. If you need to cancel or make changes to an order, please do so as soon as possible -- many requests we get regarding orders are not fulfilled because we find, pack, and ship the book before the buyer contacts us. If you receive a confirmation e-mail from us, it means your order has been shipped and we can no longer make changes to it.

Please note that the majority of our orders ship out within 24 hours, many shipping out the same day they are ordered. Since we usually ship around 12PM, most orders received Friday after 10AM will not go out until Monday. In some cases, we will make a trip on Saturday to get more orders out.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	2 to 6 business days
First item	US$ 5.00	US$ 10.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.