Zaslať SMS: Introduction to process algebra