Return to Article Details Deciding Regularity in Process Algebras Download Download PDF