A Calculus of Distributed and Parallel Processes

  • Clemens H. Cap

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

Table of contents

  1. Front Matter
    Pages 1-11
  2. Clemens H. Cap
    Pages 13-26
  3. Clemens H. Cap
    Pages 27-58
  4. Clemens H. Cap
    Pages 59-116
  5. Clemens H. Cap
    Pages 117-132
  6. Clemens H. Cap
    Pages 133-151
  7. Clemens H. Cap
    Pages 153-199
  8. Clemens H. Cap
    Pages 201-207
  9. Clemens H. Cap
    Pages 209-224
  10. Back Matter
    Pages 225-328

About this book

Introduction

This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems.

Keywords

Informatik Prozesse distributed systems logic programming

Authors and affiliations

  • Clemens H. Cap
    • 1
  1. 1.Universität RostockGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-86763-6
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2000
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-322-86765-0
  • Online ISBN 978-3-322-86763-6
  • Series Print ISSN 1615-4584
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering