This book is concerned with a number of theories that can be used for describ ing and analyzing systems of interacting components in case it is desirable or necessary to regard their time-dependent behavior. Society is becoming increasingly more dependent on complex computer based systems that are composed of several components that act concurrently and interact - to synchronize and communicate with each other. The com plexity of these systems arises to a great extent from the many ways in which their components can interact. The need that these components act and in teract on time as well...