Process algebra with guards: Combining hoare logic with process algebra
scientific article; zbMATH DE number 598167
scientific article