Christel Baier, Mila E. Majster-Cederbaum. The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP. In Lothar Budach, editor, Fundamentals of Computation Theory, 8th International Symposium, FCT 91, Gosen, Germany, September 9-13, 1991, Proceedings. Volume 529 of Lecture Notes in Computer Science, pages 105-120, Springer, 1991.
Abstract is missing.