Ntyft/ntyxt rules reduce to ntree rules (1996)

by Wan Fokkink , Rob Van Glabbeek
Venue:Information and Computation
Citations:54 - 18 self