The Internet Computer for Computer Scientists

To a first approximation, the IC (Internet Computer) is a network of interacting replicated state machines.

And now, some math [math]\displaystyle{ x=y+z }[/math].