did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9781860940033

Theory and Formal Methods of Computing 94

by ; ;
  • ISBN13:

    9781860940033

  • ISBN10:

    186094003X

  • Format: Hardcover
  • Copyright: 1995-09-01
  • Publisher: World Scientific Pub Co Inc
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $160.00

Table of Contents

Games for Recursive Typesp. 1
Interaction Orders as Gamesp. 21
A Lambda-Evaluator Based on Interaction Netsp. 41
Completeness and Continuity Properties of Applicative Bisimulationp. 61
Combinators for Interaction Netsp. 63
An Internal Language for Interaction Categoriesp. 85
Categorical Logic of Concurrency and Interaction I: Synchronous Processesp. 105
Continuation Strictness Analysis of Listsp. 143
Modularization and Prioritiesp. 167
Synchronization Trees and Fairness: A Case Studyp. 181
Locales are Not Pointlessp. 199
Constructing Specifications and Modules in a KZ-doctrinep. 217
Verifying for Reuse: Foundations of Object-Oriented System Verificationp. 235
Induction and Recursion on the Real Linep. 259
From Chu Spaces to Cposp. 283
Static Analysis of Value-Passing Process Calculip. 307
Geometric Logic as a Specification Languagep. 321
Refinement, Subtyping and Subclassing in VDM[superscript ++]p. 341
Towards a GeoZ Toolkitp. 365
Denotational Semantics of Timed Dataflow Programsp. 381
Inverse Limits of Graphsp. 397
Domain of Computation of a Random Field in Statistical Physicsp. 411
Author Indexp. 431
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program