G. Agha (1986):
Actors: A Model of Concurrent Computation in Distributed Systems.
MIT Press,
Cambridge, MA.
G. Agha, I. A. Mason, S. F. Smith & C. L. Talcott (1997):
A Foundation for Actor Computation.
Journal of Functional Programming 7,
pp. 1–72,
doi:10.1017/S095679689700261X.
Henry G. Baker & Carl Hewitt (1977):
Laws for Communicating Parallel Processes.
In: IFIP Congress.
IFIP,
pp. 987–992.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Carolyn Talcott (2007):
All About Maude: A High-Performance Logical Framework.
Springer.
Minyoung Kim, Mark-Oliver Stehr & Carolyn Talcott (2013):
A Distributed Logic for Networked Cyber-Physical Systems.
Science of Computer Programming,
doi:10.1016/j.scico.2013.01.011.
Patrick. D. Lincoln & Carolyn. Talcott (2010):
Symbolic Systems Biology and Pathway Logic.
In: Sriram Iyengar: Symbolic Systems Biology.
Jones and Bartlett.
Lauren Sompayrac (2008):
How the Immune System Works, 3rd edition.
Blackwell Publishing.
Mark-Oliver Stehr, Minyoung Kim & Carolyn L. Talcott (2010):
Toward Distributed Declarative Control of Networked Cyber-Physical Systems.
In: Ubiquitous Intelligence and Computing - 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010. Proceedings,
LNCS 6406.
Springer,
pp. 397–413,
doi:10.1007/978-3-642-16355-5_32.
Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung & Andy Poggio (2011):
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
In: G. Agha, O. Danvy & J. Meseguer: Formal Modeling: Actors, Open Systems, Biological Systems,
LNCS 7000,
pp. 110–143,
doi:10.1007/978-3-642-24933-4_7.
Carolyn Talcott (2008):
Pathway Logic.
In: Marco Bernardo, Pierpaolo Degano & Gianluigi Zavattaro: Formal Methods for Computational Systems Biology,
LNCS 5016.
Springer,
pp. 21–53,
doi:10.1007/978-3-540-68894-5_2.
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems.