Login / Signup

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

Shengzong ZhouRob GerthRuurd Kuiper
Published in: CONCUR (1993)
Keyphrases
  • extended abstract
  • desirable properties
  • artificial intelligence
  • knowledge based systems
  • concurrent systems