Strong bisimilarity of simple process algebras: complexity lower bounds

JirĂ­ Srba. Strong bisimilarity of simple process algebras: complexity lower bounds. Acta Informatica, 39(6-7):469-499, 2003. [doi]

Abstract

Abstract is missing.