Skip to main content
SpringerLink
Log in
Book cover

A Calculus of Distributed and Parallel Processes

  • Book
  • © 2000

Overview

Authors:
  1. Clemens H. Cap

    1. Universität Rostock, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Aktuelle Forschungsergebnisse

Part of the book series: Teubner Texte zur Informatik (TTZI, volume 31)

  • 947 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. Front Matter

    Pages 1-11
    Download chapter PDF

  2. Introduction

    • Clemens H. Cap
    Pages 13-26

  3. Transition Systems

    • Clemens H. Cap
    Pages 27-58

  4. Distributed Transition Systems

    • Clemens H. Cap
    Pages 59-116

  5. Higher Order Transition Systems

    • Clemens H. Cap
    Pages 117-132

  6. Process Specification Formalisms

    • Clemens H. Cap
    Pages 133-151

  7. Examples

    • Clemens H. Cap
    Pages 153-199

  8. Categorical Interpretations

    • Clemens H. Cap
    Pages 201-207

  9. Conclusions, Challenges, and Opportunities

    • Clemens H. Cap
    Pages 209-224

  10. Back Matter

    Pages 225-328
    Download chapter PDF
Back to top

Keywords

About this book

It is the good reader that makes the good book. RALPH WALDO EMERSON, Society & Solitude. In the course of two projects, the author of this book was involved in the design of the platforms PARFORM [CS93) and LOLA [Cap94), [CS) for the support of parallel computing in distributed systems. The former system was geared towards the highly efficient use of idle resources in networks of workstations, and the latter system was intended as a scalability study: How many workstations in the global Internet can be used simultaneously for solving a massively parallel problem? In one of the experiments conducted with these systems, up to 800 workstations on all five continents were cooperating for the solution of a search problem from molecular biology [Cap94). The most important lessons which the author was forced to learn during the course of these projects were not to rely on any documentation of network-and low-level system-calls, to use neither common sense nor mathematical logic during the design of a large distributed system, but to be happy with a working program, and not to ask, why it would work.

Authors and Affiliations

  • Universität Rostock, Germany

    Clemens H. Cap

About the author

Prof.Dr. Clemens H. Cap, Universität Rostock

Bibliographic Information

  • Book Title: A Calculus of Distributed and Parallel Processes

  • Authors: Clemens H. Cap

  • Series Title: Teubner Texte zur Informatik

  • DOI: https://doi.org/10.1007/978-3-322-86763-6

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: B.G. Teubner Stuttgart · Leipzig 2000

  • Softcover ISBN: 978-3-322-86765-0Published: 14 March 2012

  • eBook ISBN: 978-3-322-86763-6Published: 06 December 2012

  • Series ISSN: 1615-4584

  • Edition Number: 1

  • Number of Pages: 320

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation