Process Algebra for Timed Systems (1991)

by Tim Regan