Springer
Lecture Notes in Computer Science
International Conference on Concurrency Theory
Specification and Analysis of Embedded Systems

Chen, T., & Fokkink, W. (2006). On finite alphabets, infinite bases III: Simulation. In LNCS (pp. 421–434). Springer.