Process algebra with guards: Combining Hoare logic with process algebra Jan Friso GrooteAlban Ponse OriginalPaper Pages: 115 - 164