Completeness in Real Time Process Algebra

Steven Klusener. Completeness in Real Time Process Algebra. In Jos C. M. Baeten, Jan Friso Groote, editors, CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Volume 527 of Lecture Notes in Computer Science, pages 376-392, Springer, 1991.

Abstract

Abstract is missing.