Carolyn Talcott
Carolyn Talcott
SRI International
No verified email
Cited by
Cited by
All about maude-a high-performance logical framework: how to specify, program, and verify systems in rewriting logic
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Springer, 2007
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of functional programming 7 (1), 1-72, 1997
The maude 2.0 system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003
All About Maude, A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
Springer, 2007
Maude manual (version 3.1)
M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ...
SRI International University of Illinois at Urbana-Champaign http://maude …, 2020
Equivalence in functional languages with effects
I Mason, C Talcott
Journal of functional programming 1 (3), 287-327, 1991
Protocol specification and analysis in Maude
G Denker, J Meseguer, C Talcott
Proc. of Workshop on Formal Methods and Security Protocols 25, 1998
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992
Pathway logic: Executable models of biological networks
S Eker, M Knapp, K Laderoute, P Lincoln, C Talcott
Electronic Notes in Theoretical Computer Science 71, 144-161, 2004
Cyber-physical systems and events
C Talcott
Software-Intensive Systems and New Computing Paradigms: Challenges and …, 2008
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
Reasoning theories: Towards an architecture for open mechanized reasoning systems
F Giunchiglia, P Pecchiari, C Talcott
Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996
ADDSEN: Adaptive data processing and dissemination for drone swarms in urban sensing
D Wu, DI Arkhipov, M Kim, CL Talcott, AC Regan, JA McCann, ...
IEEE transactions on computers 66 (2), 183-198, 2016
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and computation 119 (1), 55-90, 1995
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
PC Ölveczky, J Meseguer, CL Talcott
Formal Methods in System Design 29, 253-293, 2006
Pathway logic modeling of protein functional domains in signal transduction
C Talcott, S Eker, M Knapp, P Lincoln, K Laderoute
Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE …, 2003
Computational databases, pathway and cheminformatics tools for tuberculosis drug discovery
S Ekins, JS Freundlich, I Choi, M Sarker, C Talcott
Trends in microbiology 19 (2), 65-74, 2011
Interaction semantics for components of distributed systems
C Talcott
Formal Methods for Open Object-based Distributed Systems, 154-169, 1997
Semantic models for distributed object reflection
J Meseguer, C Talcott
ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
The system can't perform the operation now. Try again later.
Articles 1–20