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

Published: 1995-11-26

Articles