Sivilotti, Paolo A. G.

Monograph from CaltechAUTHORS

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