Check out https://www.cs.rice.edu/~alc/comp520/schedule.html https://www.cs.rice.edu/~alc/comp520/schedule.html . That set of papers (most of which are not too

Check out https://www.cs.rice.edu/~alc/comp520/schedule.html https://www.cs.rice.edu/~alc/comp520/schedule.html . That set of papers (most of which are not too hard to understand; and most of the interesting discussion is not so theoretical, but rather logical) is an excellent guide to thinking about distributed systems.