Examples
Published in Teubner-Texte zur Informatik • Jan 1, 2000
NobleIDNI9P77W12R05S47
Authors:
H. Clemens
Abstract
In this chapter, we will demonstrate the use of our theory of processes for small real world examples. We will present a specification language and a prototypical implementation of a subset, and we will apply both to application processes.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!