No. 16 (2002): RS-16 Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds