Movatterモバイル変換


[0]ホーム

URL:


Skip to main content

Advertisement

Springer Nature Link
Log in

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

  • 135Accesses

Abstract

In this chapter, we will demonstrate the use of our theory of processes forsmall real world examples. We will present aspecification language and aprototypical implementation of a subset, and we will apply both to application processes.

There is nothing more practical than a good theory.

L. I. Brezhnev,Nature270(1977), 470.

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

Access this chapter

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

  1. Universität Rostock, Germany

    Prof. Dr. Clemens H. Cap

Authors
  1. Prof. Dr. Clemens H. Cap

Rights and permissions

Copyright information

© 2000 B.G.Teubner Stuttgart · Leipzig

About this chapter

Cite this chapter

Cap, C.H. (2000). Examples. In: A Calculus of Distributed and Parallel Processes. Teubner-Texte zur Informatik, vol 31. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-86763-6_6

Download citation

Publish with us


[8]ページ先頭

©2009-2025 Movatter.jp