DMCA

On reduction-based process semantics (1995)

by Kohei Yoshida , Kohei Honda , Nobuko Yoshida
Venue:in Proceedings of FSTTCS ’93, LNCS 761
Citations:160 - 26 self