Process Algebra with Timing

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 complexity of these systems arises to a great extent from the many ways in...