Carolyn Talcott
Carolyn Talcott
E-mail megerősítve itt:
Hivatkozott rá
Hivatkozott rá
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
International Conference on Rewriting Techniques and Applications, 76-87, 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
Equivalence in functional languages with effects
I Mason, C Talcott
Journal of functional programming 1 (3), 287-327, 1991
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
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
International Conference on Concurrency Theory, 565-579, 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 (0), 144-161, 2004
Reputation-based trust management
V Shmatikov, C Talcott
Journal of Computer Security 13 (1), 167-190, 2005
Reasoning Theories
F Giunchiglia, P Pecchiari, C Talcott
Frontiers of combining systems, 157-174, 1996
Cyber-physical systems and events
C Talcott
Software-Intensive Systems and New Computing Paradigms, 101-115, 2008
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 (3), 253-293, 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
Interaction semantics for components of distributed systems
C Talcott
Formal Methods for Open Object-based Distributed Systems, 154-169, 1997
From operational semantics to domain theory
IA Mason, SF Smith, CL Talcott
Information and Computation 128 (1), 26-47, 1996
Semantic models for distributed object reflection
J Meseguer, C Talcott
European Conference on Object-Oriented Programming, 1-36, 2002
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
Reasoning about meta level activities in open distributed systems
N Venkatasubramanian, C Talcott
Proceedings of the fourteenth annual ACM symposium on Principles of …, 1995
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20