Simulation Preorder on Simple Process Algebras.

Antonn Kucera, Richard Mayr

Browse the full ICALP paper archive.