I would like to include a brief tutorial on Erlang in a datacomm course. The emphasis will be on SDL to Erlang conversion and provability. What kind of programming exercise could I assign as class work to expose students to the language? -John Bottoms