The RPC-memory specification problem: UNITY + refinement calculus
1996 ◽
pp. 521-540
◽
Keyword(s):
Keyword(s):
Keyword(s):
1999 ◽
pp. 411-430
◽
Keyword(s):
1993 ◽
Vol 18
(5)
◽
pp. 79-88
◽