Carolyn L. Talcott mainly investigates Theoretical computer science, Programming language, Rewriting, Distributed computing and Operational semantics. Her research in the fields of Nqthm overlaps with other disciplines such as Opportunistic reasoning. Her research on Rewriting also deals with topics like
Her Distributed computing study combines topics in areas such as Meta level, Scalable distributed, Computation and Garbage, Garbage collection. Carolyn L. Talcott has researched Operational semantics in several fields, including Equivalence, Bisimulation, Directed set and Domain theory. Her Equivalence study combines topics from a wide range of disciplines, such as Actor model, Denotational semantics of the Actor model and Composability.
Carolyn L. Talcott mainly investigates Programming language, Theoretical computer science, Rewriting, Distributed computing and Formal methods. Her Programming language and Semantics, Operational semantics, Object, Object-oriented programming and Functional programming investigations all form part of her Programming language research activities. In her study, Automaton is inextricably linked to Component, which falls within the broad field of Theoretical computer science.
Carolyn L. Talcott interconnects Executable, Temporal logic, State, Model checking and Reflection in the investigation of issues within Rewriting. Her study in Distributed computing focuses on Middleware and Actor model. Her Formal methods study incorporates themes from Formal verification, Protocol and Formal specification.
Carolyn L. Talcott mostly deals with Theoretical computer science, Rewriting, Computer security, Computational biology and Formal methods. Her biological study spans a wide range of topics, including Probabilistic logic and Component. Her Rewriting study is associated with Programming language.
Her Computer security research includes elements of Formal verification, Protocol and Undecidable problem. Her Formal methods research integrates issues from Modularity and Composition. Her research integrates issues of Model checking and STRIDE in her study of Security analysis.
Carolyn L. Talcott mainly focuses on Rewriting, Formal methods, Theoretical computer science, Cryptography and Formal verification. Her Rewriting study is concerned with the field of Programming language as a whole. Her Programming language study frequently links to adjacent areas such as Symbolic computation.
Her Theoretical computer science research includes themes of Vagueness, Soft set, Set theory and Extension. Her Cryptography research is multidisciplinary, relying on both Login, Decidability, Security analysis, Semantics and Authentication. Her study looks at the relationship between Formal verification and fields such as Computer security, as well as how they intersect with chemical problems.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
Manuel Clavel;Francisco Durán;Steven Eker;Patrick Lincoln.
A foundation for actor computation
Gul A. Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott.
Journal of Functional Programming (1997)
The maude 2.0 system
Manuel Clavel;Francisco Duran;Steven Eker;Patrick Lincoln.
rewriting techniques and applications (2003)
Equivalence in functional languages with effects
Ian A. Mason;Carolyn L. Talcott.
Journal of Functional Programming (1991)
Towards a Theory of Actor Computation
Gul Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott.
international conference on concurrency theory (1992)
Pathway Logic: Executable Models of Biological Networks
Steven Eker;Merrill Knapp;Keith Laderoute;Patrick Lincoln.
Electronic Notes in Theoretical Computer Science (2004)
Reputation-based trust management
Vitaly Shmatikov;Carolyn Talcott.
Journal of Computer Security (2005)
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms (2008)
A variable typed logic of effects
Furio Honsell;Ian A. Mason;Scott Smith;Carolyn Talcott.
Information & Computation (1995)
Pathway logic modeling of protein functional domains in signal transduction.
C. Talcott;S. Eker;M. Knapp;P. Lincoln.
pacific symposium on biocomputing (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: