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

Publiceret: 2002-01-16

Artikler