Title: The State operator in process algebra