{"product_id":"truly-concurrent-process-algebra-with-yong-wang-9780443330681","title":"Truly Concurrent Process Algebra with Localities","description":"\u003ci\u003eTruly Concurrent Process Algebra with Localities\u003c\/i\u003e introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. \u003cp\u003e\u003c\/p\u003eThis book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Yong Wang\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0443330689\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780443330681\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Morgan Kaufmann Publishers\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 08\/23\/2024\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 474\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback","brand":"Yong Wang","offers":[{"title":"Paperback","offer_id":48991745999103,"sku":"9780443330681","price":220.0,"currency_code":"USD","in_stock":false}],"url":"https:\/\/www.whiterainbookhouse.com\/products\/truly-concurrent-process-algebra-with-yong-wang-9780443330681","provider":"WR Book House","version":"1.0","type":"link"}