Sivilotti, Paolo A. G.
- Sivilotti, Paolo A. G. and Chandy, K. Mani (2001) Reliable Synchronization Primitives for Java; 10.7907/Z9P55KHS
- Chandy, K. Mani and Dimitrov, Boris, et el. (2001) A World-Wide Distributed System Using Java and the Internet; 10.7907/Z98W3BBD
- Sivilotti, Paolo A. G. (2001) A Method for the Specification, Composition, and Testing of Distributed Object Systems; 10.7907/Z91N7Z43
- Sivilotti, Paul A. G. and Carlin, Peter A. (2001) A Tutorial for CC++; 10.7907/Z9QN64SH
- Manohar, Rajit and Sivilotti, Paolo A. G. (2001) Composing Processes Using Modified Rely-Guarantee Specifications; 10.7907/Z9P848X3