Jos C. M. Baeten, Jan A. Bergstra. Discrete Time Process Algebra with Abstraction. In Horst Reichel, editor, Fundamentals of Computation Theory, 10th International Symposium, FCT 95, Dresden, Germany, August 22-25, 1995, Proceedings. Volume 965 of Lecture Notes in Computer Science, pages 1-15, Springer, 1995.
Abstract is missing.