Alexander Moshe Rabinovich. A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Volume 802 of Lecture Notes in Computer Science, pages 530-543, Springer, 1993.
Abstract is missing.