{ "item_title" : "Generalized SBC Process Algebra for Communication and Concurrency", "item_author" : [" William S. Chao "], "item_description" : "In the first edition of this book, we do not treat conditions in conditional expressions as prefixes. Therefore, all the theories of generalized SBC process algebra (G-SBC-PA), such as interleaving, restricted composition, structural composition, observation equivalence and observation congruence, attempt to ignore conditional expressions.After further research, we find that if we treat the condition as a prefix, all the theories of generalized SBC process algebra will be more complete and beautiful.In the second edition of this book, the reader should like to read conditional expressions that are so elegantly handled in all the theories such as interleaving, restricted composition, structural composition, and so on.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/1/53/988/442/1539884422_b.jpg", "price_data" : { "retail_price" : "16.57", "online_price" : "16.57", "our_price" : "16.57", "club_price" : "16.57", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details