Tilbage til artikeldetaljer Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds Download Download PDF