Storage and Synchronization for Distributed Continuous Media. - Paul W. Jardetzky; Cormac J. Sreenan; Roger M. Needham (Multim. Syst., 1995)

InfoSpect: using a logic language for system health monitoring in distributed systems. - Timothy Roscoe; Richard Mortier; Paul W. Jardetzky; Steven Hand 001 (ACM SIGOPS European Workshop, 2002)

Predicate routing: enabling controlled networking. - Timothy Roscoe; Steven Hand 001; Rebecca Isaacs; Richard Mortier; Paul W. Jardetzky (Comput. Commun. Rev., 2003)