Advertisement

© 2000

A Calculus of Distributed and Parallel Processes

Book
  • 724 Downloads

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

  1. 1.Universität RostockGermany

About the authors

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
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2000
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-3-519-00293-2
  • Softcover ISBN 978-3-322-86765-0
  • eBook ISBN 978-3-322-86763-6
  • Series ISSN 1615-4584
  • Edition Number 1
  • Number of Pages , 320
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Engineering, general
  • Buy this book on publisher's site