On reduction-based process semantics (1995)

by K Honda, N Yoshida
Venue:Theoretical Computer Science