{"product_id":"process-algebra-for-parallel-and-distributed-processing-9780367386108","title":"Process Algebra for Parallel and Distributed Processing","description":"\u003cp\u003e • Author(s): Michael Alexander\u003cbr\u003e • Publisher: Taylor \u0026amp; Francis\u003cbr\u003e • Publisher Imprint: CRC Press\u003cbr\u003e • BISAC: Machine Theory\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eCollects the Latest Research Involving the Application of Process Algebra to Computing\u003c\/em\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eExploring state-of-the-art applications, \u003cstrong\u003eProcess Algebra for Parallel and Distributed Processing\u003c\/strong\u003e shows how one formal method of reasoning--process algebra--has become a powerful tool for solving design and implementation challenges of concurrent systems. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eParallel Programming\u003c\/em\u003eDivided into three parts, the book begins by parallelizing an algorithm for the Cell Broadband Engine processor of IBM, Sony, and Toshiba. It also develops a runtime environment that can be ported to different parallel platforms and describes the formal model of action systems. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eDistributed Systems\u003c\/em\u003eThe next part presents a process algebra (mCRL2) that targets distributed applications, looks at how to turn prose descriptions into unambiguous specifications, extends pi-calculus to create a service-oriented mobility abstract machine, and introduces the Channel Ambient Machine for mobile applications. \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eEmbedded Systems\u003c\/em\u003eThe final section combines state-based Z with the event-based process algebra CSP in a formal methodology called Circus. It also develops a pair of process algebras (PARS) to address the problem of scheduling in real-time embedded systems and emphasizes the reuse of concurrent artifacts across different hardware platforms.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eHighlighting recent research work, this volume addresses multicore programming problems and the evolution of the growing body of concurrency-enabled languages. It proposes solutions to the problems of designing and implementing today's concurrency-constrained multicore processor and cloud architectures.\u003c\/p\u003e","brand":"Taylor \u0026 Francis","offers":[{"title":"Paperback","offer_id":45239822024855,"sku":"9780367386108","price":5278.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780367386108.webp?v=1769223625","url":"https:\/\/atlanticbooks.com\/products\/process-algebra-for-parallel-and-distributed-processing-9780367386108","provider":"Atlantic Books","version":"1.0","type":"link"}