Newsletter   Secure Checkout   View Cart (0 items)  
Search:    Welcome Guest! Save up to 30-40% on most items with our awesome everyday discounts!

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science) [Paperback]

Our Price $ 93.06  
Retail Value $ 99.00  
You Save $ 5.94  
Item Number 229113  
Buy New $93.06
Quantity:
Available on the Internet only.

Item description for Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science) by Dirk A. Taubner...

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, however, more discriminating notions of equivalence than equality of languages are used; and secondly, there are differently powerful types of Petri nets, namely safe and general (place/transition) nets respectively, and predicate/transition nets. Within a uniform framework the syntax and the operational semantics of CCS and TCSP are explained. We consider both, Milner's well-known interleaving semantics, which is based on infinite transition systems, as well as the new distributed semantics introduced by Degano et al., which is based on infinite safe nets. The main part of this work contains three syntax-driven constructions of transition systems, safe nets, and predicate/transition nets respectively. Each of them is accompanied by a proof of consistency. Due to intrinsic limits, which are also investigated here, neither for transition systems and finite nets, nor for general nets does a finite consistent representation of all CCS and TCSP programs exist. However sublanguages which allow finite representations are discerned. On the other hand the construction of predicate/transition nets is possible for all CCS programs in which every choice and every recursive body starts sequentially.



Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!

Item Specifications...


Pages   168
Est. Packaging Dimensions:   Length: 9.21" Width: 6.14" Height: 0.39"
Weight:   0.59 lbs.
Binding  Softcover
Release Date   Sep 5, 1989
Publisher   Springer
ISBN  3540515259  
ISBN13  9783540515258  


Availability  52 units.
Availability accurate as of May 24, 2017 04:26.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.


More About Dirk A. Taubner


Register your artisan biography and upload your photo! Are You The Artisan or Author behind this product?
Improve our customers experience by registering for an Artisan Biography Center Homepage.



Product Categories

1Books > Subjects > Computers & Internet > Hardware > General
2Books > Subjects > Computers & Internet > Hardware > System Architecture > Parallel Computing
3Books > Subjects > Computers & Internet > Programming > General



Reviews - What do customers think about Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science)?

Be the first to write a review about Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science)



Ask A Question or Provide Feedback regarding Finite Representations of CCS and TCSP Programs by Automata and Petri Nets (Lecture Notes in Computer Science)


Item Feedback and Product Questions
For immediate assistance call 888.395.0572 during the hours of 10am thru 8pm EST Monday thru Friday and a customer care representative will be happy to help you!

Help us continuously improve our service by reporting your feedback or questions below:

I have a question regarding this product
The information above is incorrect or conflicting
The page has misspellings or incorrect grammar
The page did not load correctly in my browser or created an error.

Email Address:
Anti Spam Question. To combat spammers we require that you answer a simple question.
What color is the sky?
Leave This Blank :
Do Not Change This Text :



Add This Product Widget To Your Website

Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.

    Copy and paste the following HTML into your website and enjoy!



Order toll-free weekdays 10am thru 10pm EST by phone: 1-888-395-0572 (Lines are closed on holidays & weekends.)
Customer Service | My Account | Track My Orders | Return Policy | Request Free Catalog | Email Newsletter


Resources
Gift Certificates
RSS Feeds
Corporate
About Us
Contact Us
Policies
Terms Of Use
Privacy Policy