Carolyn Talcott
Title
Cited by
Cited by
Year
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
12962007
A foundation for actor computation
GA Agha, IA Mason, SF Smith, CL Talcott
Journal of Functional Programming 7 (1), 1-72, 1997
6471997
The maude 2.0 system
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott
International Conference on Rewriting Techniques and Applications, 76-87, 2003
3852003
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
2262007
Equivalence in functional languages with effects
I Mason, C Talcott
Journal of functional programming 1 (3), 287-327, 1991
2241991
Maude manual (version 2.1)
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott
SRI International, Menlo Park, 2005
2232005
Protocol specification and analysis in Maude
G Denker, J Meseguer, C Talcott
Proc. of Workshop on Formal Methods and Security Protocols 25, 1998
1621998
Towards a theory of actor computation
G Agha, IA Mason, S Smith, C Talcott
International Conference on Concurrency Theory, 565-579, 1992
1461992
Pathway logic: Executable models of biological networks
S Eker, M Knapp, K Laderoute, P Lincoln, C Talcott
Electronic Notes in Theoretical Computer Science 71 (0), 144-161, 2004
1322004
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
1132005
Reasoning Theories
F Giunchiglia, P Pecchiari, C Talcott
Frontiers of combining systems, 157-174, 1996
1111996
Cyber-physical systems and events
C Talcott
Software-Intensive Systems and New Computing Paradigms, 101-115, 2008
1042008
A variable typed logic of effects
F Honsell, IA Mason, S Smith, C Talcott
Information and Computation 119 (1), 55-90, 1995
951995
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 (3), 253-293, 2006
88*2006
Pathway logic modeling of protein functional domains in signal transduction
C Talcott, S Eker, M Knapp, P Lincoln, K Laderoute
Biocomputing 2004, 568-580, 2003
822003
Interaction semantics for components of distributed systems
C Talcott
Formal Methods for Open Object-based Distributed Systems, 154-169, 1997
811997
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
801996
Semantic models for distributed object reflection
J Meseguer, C Talcott
European Conference on Object-Oriented Programming, 1-36, 2002
772002
Reasoning about meta level activities in open distributed systems
N Venkatasubramanian, C Talcott
Proceedings of the fourteenth annual ACM symposium on Principles of …, 1995
751995
Pathway logic
C Talcott
International School on Formal Methods for the Design of Computer …, 2008
722008
The system can't perform the operation now. Try again later.
Articles 1–20