Talcott, Carolyn L.
Talcott, Carolyn L., 1941-
Carolyn Talcott American computer scientist
Carolyn Talcott
Talcott, Carolyn, 1941-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Talcott, Carolyn
VIAF ID: 25662350 (Personal)
Permalink: http://viaf.org/viaf/25662350
Preferred Forms
-
100 0 _
‡a
Carolyn Talcott
-
100 0 _
‡a
Carolyn Talcott
‡c
American computer scientist
-
100 1 _ ‡a Talcott, Carolyn
-
100 1 _ ‡a Talcott, Carolyn L.
-
100 1 0
‡a
Talcott, Carolyn L.
-
100 1 _ ‡a Talcott, Carolyn L.
-
100 1 _ ‡a Talcott, Carolyn L.
-
100 1 _
‡a
Talcott, Carolyn L.
‡d
1941-
-
100 1 _ ‡a Talcott, Carolyn L., ‡d 1941-
-
100 1 _
‡a
Talcott, Carolyn L.,
‡d
1941-
-
100 1 _
‡a
Talcott, Carolyn,
‡d
1941-....
4xx's: Alternate Name Forms (15)
Works
| Title | Sources |
|---|---|
| Coordination models and languages 5th International Conference, COORDINATION 2002, York, UK, April 8 - 11, 2002 : proceedings |
|
| Editorial |
|
| Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), september 6-8, 2000, Stanford, California, USA |
|
| Formal modeling : actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the occasion of her 70th birthday |
|
| José Meseguer: Scientist and Friend Extraordinaire |
|
| An NQTHM mechanization of "An exercise in the verification of multi-process programs" |
|
| Proceedings of the ACM SIGPLAN Workshop on Continuations CW92 |
|
| Programming and symbolic computation in Maude |
|
| Reflections on the foundations of mathematics, 2002: |
|
| String-functional semantics for formal verification of synchronous circuits, c1988: |
|
| Two Decades of Maude |
|
| Unification and Narrowing in Maude 2.4 |
|
