SMS versenden: Introduction to process algebra