Summer Reading B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Lists | July 29, 2015

    Edward Carey: IMG 10 Best Books by Writer-Illustrators



    As a child who loved books I was fascinated by the illustrations just as much as the text. The same is true for me today, and I'm happy to be among... Continue »
    1. $11.89 Sale Hardcover add to wish list

      Foulsham (Iremonger Series #2)

      Edward Carey 9781468309546

    spacer
Qualifying orders ship free.
$113.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Mathematics- Algebra

Cambridge Tracts in Theoretical Computer Science #50: Process Algebra: Equational Theories of Communicating Processes

by

Cambridge Tracts in Theoretical Computer Science #50: Process Algebra: Equational Theories of Communicating Processes Cover

 

Synopses & Reviews

Publisher Comments:

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer 's Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.

Product Details

ISBN:
9780521820493
Author:
Baeten, J. C. M.
Publisher:
Cambridge University Press
Author:
Basten, Twan
Author:
Reniers, M. A.
Author:
Baeten, Jos
Author:
Reniers, Michel
Author:
Basten, T.
Subject:
General Computers
Subject:
Programming Languages - General
Subject:
Algebra - General
Subject:
Mathematics - Algebra
Edition Description:
Hardcover
Series:
Cambridge Tracts in Theoretical Computer Science
Series Volume:
50
Publication Date:
20100131
Binding:
Hardcover
Language:
English
Illustrations:
Y
Pages:
460
Dimensions:
9.00x6.10x1.40 in. 1.90 lbs.

Related Subjects

History and Social Science » Law » General
Science and Mathematics » Mathematics » Algebra » General

Cambridge Tracts in Theoretical Computer Science #50: Process Algebra: Equational Theories of Communicating Processes New Hardcover
0 stars - 0 reviews
$113.25 In Stock
Product details 460 pages Cambridge University Press - English 9780521820493 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.