Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160
(2002)
(2002)
Formal Aspects of Computing 13(2) May 2002
Languages mentioned
Object-Z
{1991}
TCOZ
{2002}
TCSP
{1995}