Skip to content

A Semantic Preorder on Refinement and Fairness.

Xiaowei Huang, Li Jiao, Weiming Lu

Year2007
ProceedingsTASE

Browse the full TASE paper archive.