Real time process algebra with time-dependent conditions

Jos C. M. Baeten, C. A. Middelburg. Real time process algebra with time-dependent conditions. Journal of Logic and Algebraic Programming, 48(1-2):1-38, 2001.

Abstract

Abstract is missing.