Join BookitisSave favorites, build lists, and follow creators.

Carolyn Talcott

Author detail

CT
8 featured books

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL3182866A

Overview

Catalog identity and bibliographic footprint for this author.

8 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Carolyn Talcott

  • Source identifier

    OL3182866A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • Composing Model-Based Analysis Tools

    Representative edition published 2022

    Open Work
  • All About Maude - A High-Performance Logical Framework

    Representative edition published 2007

    Open Work
  • Coordination models and languages

    Representative edition published 2002

    Open Work
  • Rebeca for Actor Analysis in Action

    Representative edition published 2025

    Open Work
  • Logic, Language, and Security

    Representative edition published 2020

    Open Work
  • Reflections on the Foundations of Mathematics

    Representative edition published 2017

    Open Work
  • Logic, Rewriting, and Concurrency

    Representative edition published 2015

    Open Work
  • Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman

    Representative edition published 2002

    Open Work