A. Bronstein, and C. Talcott. Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 317-333. Springer, (1989)
M. Stehr, M. Kim, and C. Talcott. Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 402-433. Springer, (2014)
M. Stehr, and C. Talcott. Foundations of Global Computing, volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
V. Nigam, C. Talcott, and A. Urquiza. Foundations of Security, Protocols, and Equational Reasoning, volume 11565 of Lecture Notes in Computer Science, page 89-111. Springer, (2019)
N. Martí-Oliet, P. Ölveczky, and C. Talcott. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 1-47. Springer, (2015)