Deciding regular properties in simple process algebras - Kučera, Antonín, 1971- (1999)