Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract)

Shengzong Zhou, Rob Gerth, Ruurd Kuiper. Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). In Eike Best, editor, CONCUR 93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Volume 715 of Lecture Notes in Computer Science, pages 353-367, Springer, 1993.

Abstract

Abstract is missing.