No. 52 (1995): RS-52 Deciding Regularity in Process Algebras

Published: 1995-10-22