Bergstra, Process algebra with partial choice (1994)

by J C M Baeten, J A
Venue:CONCUR, LNCS 836