Carolyn L. Talcott

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 69

Top Topics

Systems Biology

Formal Specification

Distributed Systems

Top Venues

J. Log. Algebraic Methods Program.

Publications