Warriors 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


    Q&A | May 11, 2015

    Heidi Pitlor: IMG Powell’s Q&A: Heidi Pitlor



    Describe your latest book. My novel, The Daylight Marriage, is about a wife and mother who goes missing one day. The narrative alternates between... Continue »
    1. $17.47 Sale Hardcover add to wish list

      The Daylight Marriage

      Heidi Pitlor 9781616203689

    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

This title in other editions

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.