A Semantic Foundation for TCOZ in Unifying Theories of Programming.

Shengchao Qin, Jin Song Dong, Wei-Ngan Chin

Browse the full FM paper archive.