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

Shengzong Zhou, Rob Gerth, Ruurd Kuiper

Browse the full CONCUR paper archive.