A Logical Viewpoint on Process-Algebraic Quotients.

Antonn Kucera, Javier Esparza

Browse the full CSL paper archive.