This book contains the formal specification for the Jini technology. It offers a review of distributed computing fundamentals, an overview of the Jini architecture, and an introduction to the key concepts that are the source of the technologys simplicity and power--remote objects, leasing, distributed events, and a two-phase commit protocol. The formal specification provides the definitive description of every element of the Jini architecture, including detailed information on such topics as: Jini Discovery and Join protocols Jini Entry usage and the AbstractEntry class Jini Distributed Leasing concepts Jini Distributed Event programming model Jini Transaction model and semantics Jini Lookup service and lookup attribute schema Jini device architecture As networks continue to pervade our personal and professional lives, there is an urgent call for the flexible and robust network infrastructure that Jini represents.