On reduction-based process semantics. (1995)

by K Honda, N Yoshida
Venue:TCS,