On reduction-based process semantics (1995)

by Kohei Honda , Nobuko Yoshida
Venue:Theoretical Computer Science
Citations:139 - 21 self