Models and Axioms for a Fragment of Real Time Process Algebra (1993)

by A Klusener