Tracked shipping to New Zealand with premium packaging for just NZ$15 

Ship to
New Zealand
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Process Algebra for Parallel and Distributed Processing
Process Algebra for Parallel and Distributed ProcessingProcess Algebra for Parallel and Distributed ProcessingProcess Algebra for Parallel and Distributed Processing
Type
Physical Book
Publisher
Author
Language
English
Pages
438
Format
Hardcover
Dimensions
23.6 x 16.0 x 2.8 cm
Weight
0.75 kg.
ISBN
142006486X
ISBN13
9781420064865
Categories

Process Algebra for Parallel and Distributed Processing

Alexander, Michael ; Gardner, William (Author) · CRC Press · Hardcover

Process Algebra for Parallel and Distributed Processing - Alexander, Michael ; Gardner, William

New Book Imported to New Zealand
Delivery: 28 Jul - 04 Aug Shipping: 4 to 5 business days.
NZ$ 475.16
Import costs and 15% GST included in the price ✅
NZ$ 475.16

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Process Algebra for Parallel and Distributed Processing"

Collects the Latest Research Involving the Application of Process Algebra to ComputingExploring state-of-the-art applications, Process Algebra for Parallel and Distributed Processing shows how one formal method of reasoning--process algebra--has become a powerful tool for solving design and implementation challenges of concurrent systems. Parallel ProgrammingDivided 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. Distributed SystemsThe 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. Embedded SystemsThe 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.Highlighting 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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews