Title: Process algebra with timing
Subjects: Mathematics, System design, Discrete-time systems, Computer science, Computer science, mathematics