2000 | ||
---|---|---|
2 | EE | Charles P. Giles, Paolo A. G. Sivilotti: A Tool for Testing Liveness in Distributed Object Systems. TOOLS (34) 2000: 319-328 |
1999 | ||
1 | EE | Paolo A. G. Sivilotti, Charles P. Giles: The specification of distributed objects: liveness and locality. CASCON 1999: 11 |
1 | Paolo A. G. Sivilotti | [1] [2] |