No. 56 (1995): RS-56 Axiomatizing Prefix Iteration with Silent Steps

Articles

• Axiomatizing Prefix Iteration with Silent Steps

  Luca Aceto, Willem Jan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir

  • PDF