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

Published: 2002-01-16

Articles