Carolyn Talcott
Carolyn Talcott
1 books in the database
Books
Co-authored books and collections
Books that list Carolyn Talcott among their authors but not as the lead author: co-written works, collections and compilations.
Composing Model-Based Analysis ToolsRobert Heinrich
Composing Model-Based Analysis Tools
Robert Heinrich · 2022
Rebeca for Actor Analysis in ActionMohammad Reza Mousavi
Rebeca for Actor Analysis in Action
Mohammad Reza Mousavi · 2025
Logic, Language, and SecurityVivek Nigam
Logic, Language, and Security
Vivek Nigam · 2020
Reflections on the Foundations of MathematicsWilfried Sieg
Reflections on the Foundations of Mathematics
Wilfried Sieg · 2017
Logic, Rewriting, and ConcurrencyNarciso Martí-Oliet
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet · 2015
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon FefermanWilfried Sieg
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
Wilfried Sieg · 2002