Mega Dose
 
 

Special Offers see all

Enter to WIN a $100 Credit

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

Tour our stores


    Recently Viewed clear list


    Original Essays | September 18, 2014

    Lin Enger: IMG Knowing vs. Knowing



    On a hot July evening years ago, my Toyota Tercel overheated on a flat stretch of highway north of Cedar Rapids, Iowa. A steam geyser shot up from... Continue »

    spacer
Qualifying orders ship free.
$114.50
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
4 Remote Warehouse Networking- General

Cambridge Tracts in Theoretical Computer Science #52: Advanced Topics in Bisimulation and Coinduction

by

Cambridge Tracts in Theoretical Computer Science #52: Advanced Topics in Bisimulation and Coinduction Cover

 

Synopses & Reviews

Publisher Comments:

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Product Details

ISBN:
9781107004979
Author:
Sangiorgi, Davide
Publisher:
Cambridge University Press
Subject:
Networking - General
Publication Date:
20111031
Binding:
HARDCOVER
Language:
English

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Engineering » Communications » Telephony

Cambridge Tracts in Theoretical Computer Science #52: Advanced Topics in Bisimulation and Coinduction New Hardcover
0 stars - 0 reviews
$114.50 In Stock
Product details pages Cambridge University Press - English 9781107004979 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.