Skip to main content
Springer Nature Link
Log in

A Calculus of Distributed and Parallel Processes

  • Book
  • © 2000

Overview

Authors:
  1. Clemens H. Cap

    1. Universität Rostock, Germany

  • Aktuelle Forschungsergebnisse

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

  • 1155 Accesses

  • 1 Citation

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

Access this book

Log in via an institution
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

') var buybox = document.querySelector("[data-id=id_"+ timestamp +"]").parentNode var buyboxMaxSingleColumnWidth = 480 ;[].slice.call(buybox.querySelectorAll(".buying-option")).forEach(initCollapsibles) function initCollapsibles(buyingOption, index) { var toggle = buyingOption.querySelector(".buying-option-price") buyingOption.classList.remove("expanded") var form = buyingOption.querySelector(".buying-option-form") var priceInfo = buyingOption.querySelector(".price-info") if (toggle && form && priceInfo) { toggle.setAttribute("role", "button") toggle.setAttribute("tabindex", "0") toggle.addEventListener("click", function (event) { var expandedBuyingOptions = buybox.querySelectorAll(".buying-option.expanded") var buyboxWidth = buybox.offsetWidth ;[].slice.call(expandedBuyingOptions).forEach(function(option) { if (buyboxWidth <= buyboxMaxSingleColumnWidth && option != buyingOption) { hideBuyingOption(option) } }) var expanded = toggle.getAttribute("aria-expanded") === "true" || false toggle.setAttribute("aria-expanded", !expanded) form.hidden = expanded if (!expanded) { buyingOption.classList.add("expanded") } else { buyingOption.classList.remove("expanded") } priceInfo.hidden = expanded }, false) } } function hideBuyingOption(buyingOption) { var toggle = buyingOption.querySelector(".buying-option-price") var form = buyingOption.querySelector(".buying-option-form") var priceInfo = buyingOption.querySelector(".price-info") toggle.setAttribute("aria-expanded", false) form.hidden = true buyingOption.classList.remove("expanded") priceInfo.hidden = true } function initKeyControls() { document.addEventListener("keydown", function (event) { if (document.activeElement.classList.contains("buying-option-price") && (event.code === "Space" || event.code === "Enter")) { if (document.activeElement) { event.preventDefault() document.activeElement.click() } } }, false) } function initialStateOpen() { var buyboxWidth = buybox.offsetWidth var narrowBuyboxArea = buyboxWidth <= buyboxMaxSingleColumnWidth var allOptionsInitiallyCollapsed = buybox.className.indexOf("all-options-initially-collapsed") > -1 ;[].slice.call(buybox.querySelectorAll(".buying-option")).forEach(function (option, index) { var toggle = option.querySelector(".buying-option-price") var form = option.querySelector(".buying-option-form") var priceInfo = option.querySelector(".price-info") if (allOptionsInitiallyCollapsed || narrowBuyboxArea && index > 0) { toggle.setAttribute("aria-expanded", "false") form.hidden = "hidden" priceInfo.hidden = "hidden" } else { toggle.click() } }) } initialStateOpen() if (window.buyboxInitialised) return window.buyboxInitialised = true initKeyControls() })()

Other ways to access

Licence this eBook for your library

See More

Institutional subscriptions

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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

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

Authors and Affiliations

  • Universität Rostock, Germany

    Clemens H. Cap

About the author

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

Accessibility Information

PDF accessibility summary

This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at [email protected] if you require assistance or an alternative format.

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

Keywords

Publish with us

Policies and ethics

Back to top