Axiomatizing Prefix Iteration with Silent Steps (1996)

by Luca Aceto , Wan Fokkink , Rob Van Glabbeek , Anna Ingólfsdóttir
Venue:INFORMATION AND COMPUTATION
Citations:29 - 15 self