Aceto and Anna Ing olfsd ottir. A Complete Equational Axiomatization for Prefix Iteration with Silent Steps (1995)

by RS-95-5 Luca
Venue:Mogens Nielsen and Glynn Winskel. Petri Nets and Bisimulations