View of Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds

Return to Article Details Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds Download Download PDF