On finite alphabets and infinite bases III: simulation (2006)

by T Chen, W Fokkink
Venue:in: Proceedings 17th Conference on Concurrency Theory (CONCUR’06), LNCS