Login / Signup
Charles P. Giles
Publication Activity (10 Years)
Years Active: 1999-2000
Publications (10 Years): 0
</>
Publications
</>
Charles P. Giles
,
Paolo A. G. Sivilotti
A Tool for Testing Liveness in Distributed Object Systems.
TOOLS (34)
(2000)
Paolo A. G. Sivilotti
,
Charles P. Giles
The specification of distributed objects: liveness and locality.
CASCON
(1999)