Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).

Jan Friso Groote, Alban Ponse

Browse the full CONCUR paper archive.