Deriving process congruences from reaction rules (2004)

by Paweł Sobociński , Phd Dissertation
Citations:5 - 2 self