This paper presents and analyzes the Inferno network operating system and the Limbo programming language. The history, preceding work, motivation and goals of Inferno is presented, and the main features of the Inferno system are discussed and analyzed. The accompanying Limbo language is presented and compared to other similar languages. The similarities and differences of Inferno and Limbo in relation to the Java OS and Java are also discussed.