×

zbMATH — the first resource for mathematics

Talcott, Carolyn L.

Compute Distance To:
Author ID: talcott.carolyn-l Recent zbMATH articles by "Talcott, Carolyn L."
Published as: Talcott, C.; Talcott, Carolyn; Talcott, Carolyn L.
Documents Indexed: 80 Publications since 1988, including 10 Books
Biographic References: 1 Publication
all top 5

Co-Authors

11 single-authored
14 Mason, Ian A.
12 Meseguer Guaita, José
7 Eker, Steven
7 Martí-Oliet, Narciso
7 Smith, Scott F.
6 Durán, Francisco
6 Nigam, Vivek
6 Scedrov, Andre
5 Ban Kirigin, Tajana
5 Lincoln, Patrick D.
4 Escobar, Santiago
4 Kanovich, Max Iosifovich
4 Stehr, Mark-Oliver
3 Agha, Gul A.
3 Clavel, Manuel
3 Denker, Grit
3 Giunchiglia, Fausto
3 Honsell, Furio
3 Kim, Minyoung
3 Loo, Boon Thau
3 Olveczky, Peter Csaba
3 Ren, Shangping
3 Sirjani, Marjan
3 Venkatasubramanian, Nalini
2 Arbab, Farhad
2 Danvy, Olivier
2 Gurney, Alexander J. T.
2 Knapp, Merrill
2 Laderoute, Keith
2 Pecchiari, Paolo
2 Perovic, Ranko
2 Regan, Amelia C.
2 Wang, Anduo
2 Wu, Di
1 AlTurki, Musab A.
1 Arkhipov, Dmitri I.
1 Arul, Albert-Baskar
1 Avar, Peter
1 Bao, Lichun
1 Briesemeister, Linda
1 Bunin, Deborah I.
1 Cadoli, Marco
1 Coglio, Alessandro
1 Davis, Brian M.
1 Dinn, Sean R.
1 Gordon, Andrew D.
1 Guttman, Joshua D.
1 Hwang, Sunil
1 Ito, Tamon
1 Jalili, Saeed
1 Keaton, Mark H.
1 Khakpour, Narges
1 Korte, Andrew R.
1 Kuznetsov, Stepan L’vovich
1 Li, Hang
1 McCann, Julie A.
1 Montanari, Ugo G.
1 Morton, Christine A.
1 Mousavi, Mohammadreza
1 Nemes, Peter
1 Okada, Mitsuhiro
1 Ölveczky, Csaba
1 Parvin, Lida
1 Pitts, Andrew M.
1 Poggio, Andrew
1 Poggio, Andy
1 Rubio, Rubén
1 Sahab, Ziad J.
1 Sevinsky, Christopher J.
1 Sieg, Wilfried
1 Sommer, Richard
1 Sriram, M. G.
1 Stopka, Sylwia
1 Thati, Prasanna
1 Tiwari, Ashish Kumar
1 Urquiza, Abraão Aires
1 Vertes, Akos
1 Weyhrauch, Richard W.
1 Wirsing, Martin
1 Yadav, Maneesh K.
1 Yu, Yue
1 Zabele, Steve
1 Zavodszky, Maria I.
1 Zhang, Linwen

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 438 times in 306 Documents Cited by Year
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
151
2007
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
51
2003
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
Equivalence in functional languages with effects. Zbl 0941.68540
Mason, Ian; Talcott, Carolyn
21
1991
Semantic models for distributed object reflection. Zbl 1049.68815
Meseguer, José; Talcott, Carolyn
14
2002
A theory of binding structures and applications to rewriting. Zbl 0783.68089
Talcott, Carolyn
10
1993
A rewriting logic framework for soft constraints. Zbl 1279.68124
Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda
9
2007
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L.
8
2006
Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081
Denker, G.; Meseguer, J.; Talcott, C.
8
2000
From operational semantics to domain theory. Zbl 0856.68094
Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
8
1996
Plan in Maude specifying an active network programming language. Zbl 1272.68044
Stehr, Mark-Oliver; Talcott, Carolyn L.
7
2004
Composable semantic models for actor theories. Zbl 0934.68058
Talcott, Carolyn L.
7
1998
Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020
Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.)
6
2002
Specification and analysis of the AER/NCA active network protocol suite in real-time maude. Zbl 0977.68865
Ölveczky, Peter Csaba; Keaton, Mark; Meseguer, José; Talcott, Carolyn; Zabele, Steve
6
2001
A partial order event model for concurrent objects. Zbl 0939.68084
Meseguer, José; Talcott, Carolyn
6
1999
An actor rewriting theory. Zbl 0912.68086
Talcott, Carolyn L.
6
1996
Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022
Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn
6
1996
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
5
2017
Actor languages. Their syntax, semantics, translation, and equivalence. Zbl 0954.68089
Mason, Ian A.; Talcott, Carolyn L.
5
1999
Reasoning about functions with effects. Zbl 0971.68024
Talcott, Carolyn
5
1998
A variable typed logic of effects. Zbl 0832.68009
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
5
1995
Axiomatizing operational equivalence in the presence of side effects. Zbl 0722.03027
Mason, Ian A.; Talcott, Carolyn
5
1989
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
A semantics preserving actor translation. Zbl 1401.68026
Mason, Ian A.; Talcott, Carolyn L.
4
1997
Can actors and pi-agents live together? Zbl 0925.68116
Montanari, Ugo; Talcott, Carolyn
4
1997
A distributed logic for networked cyber-physical systems. Zbl 1353.68265
Kim, Minyoung; Stehr, Mark-Oliver; Talcott, Carolyn
3
2012
Comparing three coordination models: Reo, ARC, and RRD. Zbl 1277.68208
Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping
3
2008
Specification diagrams for actor systems. Zbl 1020.68051
Smith, Scott F.; Talcott, Carolyn L.
3
2002
Actor theories in rewriting logic. Zbl 1001.68055
Talcott, Carolyn
3
2002
Towards a toolkit for actor system specification. Zbl 0983.68134
Talcott, Carolyn L.
3
2000
A theory for program and data type specification. Zbl 0759.68061
Talcott, Carolyn
3
1992
Inferring the equivalence of functional programs that mutate data. Zbl 0768.68092
Mason, Ian; Talcott, Carolyn
3
1992
Binding structures. Zbl 0755.68083
Talcott, Carolyn
3
1991
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011
Martí-Oliet, Narciso (ed.); Ölveczky, Csaba (ed.); Talcott, Carolyn (ed.)
2
2015
Formal modeling of evolving self-adaptive systems. Zbl 1264.68131
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza
2
2012
Feferman-Landin logic. Zbl 1069.03019
Mason, Ian A.; Talcott, Carolyn L.
2
2002
Simple network protocol simulation within Maude. Zbl 0966.68514
Mason, Ian A.; Talcott, Carolyn L.
2
2000
Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094
Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L.
2
2000
Mapping OMRS to rewring logic. Zbl 0917.68105
Meseguer, José; Talcott, Carolyn
2
1998
Reasoning about meta level activities in open distributed systems. Zbl 1374.68078
Venkatasubramanian, Nalini; Talcott, Carolyn
2
1995
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 06448716
Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh
1
2015
Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. Zbl 1407.68339
Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn
1
2014
Comparing three coordination models: Reo, ARC, and PBRD. Zbl 1211.68056
Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping
1
2011
Analyzing pathways using SAT-based approaches. Zbl 1126.92021
Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith
1
2007
Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415
Thati, Prasanna; Talcott, Carolyn; Agha, Gul
1
2004
A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888
Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul
1
2001
Modular reasoning for actor specification diagrams. Zbl 0928.68076
Smith, Scott F.; Talcott, Carolyn L.
1
1999
Reasoning about object systems in VTLoE. Zbl 0830.68021
Mason, Ian; Talcott, Carolyn
1
1995
A theory of classes for a functional language with effects. Zbl 0835.68013
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
1
1993
Rum - An abstraction theory of function and control abstractions. Zbl 0651.68040
Talcott, Carolyn
1
1988
A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333
Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko
5
2017
Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
2
2016
Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011
Martí-Oliet, Narciso (ed.); Ölveczky, Csaba (ed.); Talcott, Carolyn (ed.)
2
2015
Two decades of Maude. Zbl 1321.68007
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn
1
2015
Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 06448716
Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh
1
2015
Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. Zbl 1407.68339
Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn
1
2014
A distributed logic for networked cyber-physical systems. Zbl 1353.68265
Kim, Minyoung; Stehr, Mark-Oliver; Talcott, Carolyn
3
2012
Formal modeling of evolving self-adaptive systems. Zbl 1264.68131
Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza
2
2012
Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180
Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn
4
2011
Comparing three coordination models: Reo, ARC, and PBRD. Zbl 1211.68056
Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping
1
2011
Comparing three coordination models: Reo, ARC, and RRD. Zbl 1277.68208
Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping
3
2008
All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
151
2007
A rewriting logic framework for soft constraints. Zbl 1279.68124
Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda
9
2007
Analyzing pathways using SAT-based approaches. Zbl 1126.92021
Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith
1
2007
Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010
Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L.
8
2006
Plan in Maude specifying an active network programming language. Zbl 1272.68044
Stehr, Mark-Oliver; Talcott, Carolyn L.
7
2004
Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415
Thati, Prasanna; Talcott, Carolyn; Agha, Gul
1
2004
The Maude 2.0 system. Zbl 1038.68559
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn
51
2003
Semantic models for distributed object reflection. Zbl 1049.68815
Meseguer, José; Talcott, Carolyn
14
2002
Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020
Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.)
6
2002
Specification diagrams for actor systems. Zbl 1020.68051
Smith, Scott F.; Talcott, Carolyn L.
3
2002
Actor theories in rewriting logic. Zbl 1001.68055
Talcott, Carolyn
3
2002
Feferman-Landin logic. Zbl 1069.03019
Mason, Ian A.; Talcott, Carolyn L.
2
2002
Specification and analysis of the AER/NCA active network protocol suite in real-time maude. Zbl 0977.68865
Ölveczky, Peter Csaba; Keaton, Mark; Meseguer, José; Talcott, Carolyn; Zabele, Steve
6
2001
A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888
Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul
1
2001
Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081
Denker, G.; Meseguer, J.; Talcott, C.
8
2000
Towards a toolkit for actor system specification. Zbl 0983.68134
Talcott, Carolyn L.
3
2000
Simple network protocol simulation within Maude. Zbl 0966.68514
Mason, Ian A.; Talcott, Carolyn L.
2
2000
Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094
Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L.
2
2000
A partial order event model for concurrent objects. Zbl 0939.68084
Meseguer, José; Talcott, Carolyn
6
1999
Actor languages. Their syntax, semantics, translation, and equivalence. Zbl 0954.68089
Mason, Ian A.; Talcott, Carolyn L.
5
1999
Modular reasoning for actor specification diagrams. Zbl 0928.68076
Smith, Scott F.; Talcott, Carolyn L.
1
1999
Composable semantic models for actor theories. Zbl 0934.68058
Talcott, Carolyn L.
7
1998
Reasoning about functions with effects. Zbl 0971.68024
Talcott, Carolyn
5
1998
Mapping OMRS to rewring logic. Zbl 0917.68105
Meseguer, José; Talcott, Carolyn
2
1998
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
A semantics preserving actor translation. Zbl 1401.68026
Mason, Ian A.; Talcott, Carolyn L.
4
1997
Can actors and pi-agents live together? Zbl 0925.68116
Montanari, Ugo; Talcott, Carolyn
4
1997
From operational semantics to domain theory. Zbl 0856.68094
Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
8
1996
An actor rewriting theory. Zbl 0912.68086
Talcott, Carolyn L.
6
1996
Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022
Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn
6
1996
A variable typed logic of effects. Zbl 0832.68009
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
5
1995
Reasoning about meta level activities in open distributed systems. Zbl 1374.68078
Venkatasubramanian, Nalini; Talcott, Carolyn
2
1995
Reasoning about object systems in VTLoE. Zbl 0830.68021
Mason, Ian; Talcott, Carolyn
1
1995
A theory of binding structures and applications to rewriting. Zbl 0783.68089
Talcott, Carolyn
10
1993
A theory of classes for a functional language with effects. Zbl 0835.68013
Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn
1
1993
A theory for program and data type specification. Zbl 0759.68061
Talcott, Carolyn
3
1992
Inferring the equivalence of functional programs that mutate data. Zbl 0768.68092
Mason, Ian; Talcott, Carolyn
3
1992
Equivalence in functional languages with effects. Zbl 0941.68540
Mason, Ian; Talcott, Carolyn
21
1991
Binding structures. Zbl 0755.68083
Talcott, Carolyn
3
1991
Axiomatizing operational equivalence in the presence of side effects. Zbl 0722.03027
Mason, Ian A.; Talcott, Carolyn
5
1989
Rum - An abstraction theory of function and control abstractions. Zbl 0651.68040
Talcott, Carolyn
1
1988
all top 5

Cited by 399 Authors

54 Meseguer Guaita, José
21 Martí-Oliet, Narciso
21 Talcott, Carolyn L.
17 Alpuente, María
17 Lucas, Salvador
14 Escobar, Santiago
12 Durán, Francisco
11 Lucanu, Dorel
11 Olveczky, Peter Csaba
11 Roşu, Grigore
10 Ballis, Demis
9 Verdejo, Alberto
8 Rusu, Vlad
7 Eker, Steven
7 Riesco, Adrián
7 Sapiña, Julia
7 Wirsing, Martin
6 Arusoaie, Andrei
6 Frechina, Francisco
6 Futatsugi, Kokichi
6 Ogata, Kazuhiro
6 Palomino, Miguel
5 Clavel, Manuel
5 Gutiérrez, Raúl
5 Mason, Ian A.
5 Nigam, Vivek
5 Sirjani, Marjan
4 Bruni, Roberto
4 Diaconescu, Răzvan
4 Falaschi, Moreno
4 Montanari, Ugo G.
4 Owe, Olaf
4 Pitts, Andrew M.
4 Ren, Shangping
4 Rocha, Camilo
4 Sabel, David
4 Schmidt-Schauß, Manfred
4 Thati, Prasanna
3 Alarcón, Beatriz
3 Arbab, Farhad
3 Armando, Alessandro
3 Ban Kirigin, Tajana
3 Caballero, Rafael E.
3 Calmet, Jacques
3 Gaĭnă, Daniel
3 Goriac, Eugen-Ioan
3 Harper, Robert
3 Henrio, Ludovic
3 Kanovich, Max Iosifovich
3 Lincoln, Patrick D.
3 Lynch, Christopher A.
3 Muñoz, César A.
3 Orejas, Fernando
3 Pita, Isabel
3 Scedrov, Andre
3 Şerbănuţă, Traian Florin
3 Skeirik, Stephen
3 Stehr, Mark-Oliver
2 Aguirre, Luis Antonio
2 Andrei, Oana
2 Bae, Kyungmin
2 Basin, David A.
2 Birkedal, Lars
2 Bjørner, Dines
2 Boronat, Artur
2 Caltais, Georgiana
2 Coglio, Alessandro
2 Dami, Laurent
2 De Nicola, Rocco
2 Espert, Javier
2 Gaspari, Mauro
2 Genet, Thomas
2 Giunchiglia, Fausto
2 Gramlich, Bernhard
2 Haller, Philipp
2 Hamana, Makoto
2 Hennicker, Rolf
2 Ho, Weng Kin
2 Iborra, José
2 Johnsen, Einar Broch
2 Kahramanoğulları, Ozan
2 Katelman, Michael
2 Kim, Minyoung
2 Kitzelmann, Emanuel
2 Knapp, Alexander
2 Lakin, Matthew R.
2 Lämmel, Ralf
2 Levy, Paul Blain
2 Liu, Zhiqiang
2 Lluch Lafuente, Alberto
2 Martín, Óscar
2 Meadows, Catherine A.
2 Mossakowski, Till
2 Mousavi, Mohammadreza
2 Noll, Thomas
2 Ojeda, Pedro
2 Ranise, Silvio
2 Rodriguez, Dilia E.
2 Romero, Daniel M.
2 Schlatte, Rudolf
...and 299 more Authors

Citations by Year