On the concurrent behaviour of SCR specifications.

Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon

Browse the full COMPSAC paper archive.