The authors have compiled an excellent text which introduces the reader to the fundamental theory of Brownian motion from the point of view of modern martingale and Markov process theory. I highly recommend this book for anyone who wants to acquire and in-depth understanding of Brownian motion and stochastic calculus.
The book is fairly self-contained, although the reader should prepare herself with some prerequisite material. Rudin's Real and Complex Analysis and Norris' Markov Chains provide a good basis. You'll also need a solid understanding of the basic properties of Laplace transforms as is covered in an undergraduate course on differential equations (e.g. Schiff's The Laplace Transform: Theory and Applications).
Rogers and Williams begin Chapter 1 of the 2nd edition of their first volume 'Foundations' by exploring Brownian motion from several different modern viewpoints. This is intended to help the reader develop an intuition about Brownian motion and related diffusions. They then move on to explore the well-known features of Brownian motion, including the strong Markov property, the Reflection principle, the Blumenthal Zero-One Law and the Law of the Iterated Logarithm.
The section on Brownian motion in higher dimensions is very nice and I enjoyed the applications of Brownian motion to complex analysis. I particularly liked the Ito's Rule-style proof of the Maximum Modulus Principle.
The authors close out Chapter 1 with detailed introductions of Gaussian and Levy Processes.
In the chapter on Brownian motion, the authors make several forward references to Chapter 2, which covers the prerequisite material from measure theory, probability theory, and stochastic processes needed for both volume I and II. If you found these forward references a bit unsettling, it is quite reasonable to first read Chapter 2 (sections 1-5), then read Chapter 1, and then finish up with canonical Brownian motion section at the end of Chapter 2.
Chapter 3 is a wonderful treatment of Markov processes and requires that the reader have an appreciation of the classical theory of Markov chains. In the first section of Chapter 3, the basic theory of operator semigroups is covered and the authors prove the famous Hille-Yosida Theorem.
The next section covers the 'base case' of operator semigroups. Rogers and Williams refer to these as Feller-Dynkin semigroups. (Ethier and Kurtz simply call these Feller semigroups in their book Markov Processes: Characterization and Convergence.) Each Feller-Dynkin semigroup is shown to be realized by strong Markov process. Continuous Levy processes are then characterized as a nice application of the Feller-Dynkin theory.
The highlight of the next section is the Feynmac-Kac formulas. These are presented from the Markov process point of view (computing generators of transformed Markov processes), not from the usual PDEs point of view. Since the authors don't have Ito's Rule available in this first volume, they establish Feynman-Kac using the theory of additive functionals.
The final sections of the book deal with Markov processes with values in a countable state space. Ray processes and the Martin boundary are introduced, however as I began read this material, I felt that the authors believed that I already knew why Ray Theory is so important. I felt this last material would have been a bit better motivated with more of a tie-in to the theory of harmonic functions and the Dirichlet problem. However, the proof of Ray's Theorem is very elegant and really solidifies the reader's understanding of the Hille-Yosida Theorem.
Several of the sections wrap up with a small set of exercises. There are also exercises sprinkled throughout the text (several of which the authors plead with you to work through). The exercises have been thoughtfully selected and reinforce the material.