On the concurrent behaviour of SCR specifications

Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon. On the concurrent behaviour of SCR specifications. In 21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA. pages 258-263, IEEE Computer Society, 1997. [doi]

Abstract

Abstract is missing.