{"product_id":"algebraic-theory-for-true-concurrency-9780443189128","title":"Algebraic Theory for True Concurrency","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eAlgebraic Theory for True Concurrency is a book that covers the algebraic laws for true concurrency, which is a core concept in computer science. It discusses the two primary approaches to executing concurrency: interleaving concurrency and true concurrency. True concurrency is an active area of research with many emerging applications, including several truly concurrent bisimulation equivalences. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 228 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 01 January 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Elsevier Science Publishing Co Inc\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eAlgebraic Theory for True Concurrency delves into the intricate realm of algebraic laws governing true concurrency, a fundamental concept in computer science. Parallelism and concurrency are two core pillars that shape the landscape of computing. This comprehensive book explores the diverse aspects of concurrency, empowering programs, algorithms, and problems to be dissected into order-independent or partially ordered components, thereby enhancing computation and execution speed.\u003cbr\u003e\u003cbr\u003eTwo primary approaches exist for executing concurrency: interleaving concurrency and true concurrency. Interleaving concurrency, represented by bisimulation\/rooted branching bisimulation equivalences, is a well-studied area, with this work ultimately leading to the development of the comprehensive axiomatization modulo bisimulation equivalence, known as ACP (Algebra of Communicating Processes).\u003cbr\u003e\u003cbr\u003eOn the other hand, true concurrency represents a dynamic and evolving field of research, encompassing a wide range of emerging applications. One notable aspect of true concurrency is the existence of several truly concurrent bisimulation equivalences. These equivalences include the pomset bisimulation equivalence, step bisimulation equivalence, history-preserving (hp-) bisimulation equivalence, and hereditary history-preserving (hhp-) bisimulation equivalence, among others. These equivalences hold significant importance in understanding and analyzing concurrent systems.\u003cbr\u003e\u003cbr\u003eAlgebraic Theory for True Concurrency serves as a valuable resource for researchers, practitioners, and students seeking to delve deeper into the complexities of concurrency and its algebraic foundations. By unraveling the algebraic laws governing true concurrency, this book provides a solid foundation for developing efficient and scalable concurrent systems that can handle the demands of modern computing.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 450g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 191 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9780443189128\u003c\/p\u003e","brand":"YongWang","offers":[{"title":"Paperback \/ softback","offer_id":44096332497146,"sku":"9780443189128","price":127.31,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1674224204973_book.jpg?v=1674645347","url":"https:\/\/shulphink.com\/products\/algebraic-theory-for-true-concurrency-9780443189128","provider":"Shulph Ink","version":"1.0","type":"link"}