Springer
Lecture Notes in Computer Science
Conference on Foundations of Software Science and Computation Structures
Specification and Analysis of Embedded Systems

Chen, T., Fokkink, W., & Nain, S. (2006). On finite alphabets and infinite bases II: Completed and ready simulation. In Proceedings of the 9th Conference on Foundations of Software Science and Computation Structures (pp. 1–15). Springer.