Axiomatizing prefix iteration with silent steps (1996)

by LFSDTTIR
Venue:Information and Computation