Carolyn Talcott
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryCM
Composing Model-Based Analysis Tools
cover - Image source: Open LibraryAA
All About Maude - A High-Performance Logical Framework
cover - Image source: Open LibraryCM
Coordination models and languages
cover - RFRebeca for Actor Analysis in Ac...Carolyn Talcott
Rebeca for Actor Analysis in Action
no cover - LLLogic, Language, and SecurityCarolyn Talcott
Logic, Language, and Security
no cover - ROReflections on the Foundations...Carolyn Talcott
Reflections on the Foundations of Mathematics
no cover - LRLogic, Rewriting, and ConcurrencyCarolyn Talcott
Logic, Rewriting, and Concurrency
no cover - ROReflections on the Foundations...Carolyn Talcott
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Composing Model-Based Analysis Tools
- Open Work
All About Maude - A High-Performance Logical Framework
- Open Work
Coordination models and languages
- Open Work
Rebeca for Actor Analysis in Action
- Open Work
Logic, Language, and Security
- Open Work
Reflections on the Foundations of Mathematics
- Open Work
Logic, Rewriting, and Concurrency
- Open Work
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman