Deriving Process Congruences from Reaction Rules (2004)

by P Sobociński
Venue:Ph.D. Thesis, BRICS Dissertation Series