@book(agha-thesis,
 author       = "G. Agha",
 year         = "1986",
 title        = "Actors: A Model of Concurrent Computation in Distributed Systems",
 publisher    = "MIT Press",
 address      = "Cambridge, MA",
)
@article(agha-mason-smith-talcott-96jfp,
 author       = "G. Agha and I. A. Mason and S. F. Smith and C. L. Talcott",
 year         = "1997",
 title        = "A Foundation for Actor Computation",
 journal      = "Journal of Functional Programming",
 volume       = "7",
 pages        = "1--72",
 doi          = "10.1017/S095679689700261X",
)
@inproceedings(baker-hewitt-77cpp,
 author       = "Henry G. Baker and Carl Hewitt",
 year         = "1977",
 title        = "Laws for Communicating Parallel Processes",
 booktitle    = "IFIP Congress",
 organization = "IFIP",
 pages        = "987--992",
)
@book(clavel-etal-07maudebook,
 author       = "Manuel Clavel and Francisco Dur\'an and Steven Eker and Patrick Lincoln and Narciso Mart{\'\i }-Oliet and Jos\'e Meseguer and Carolyn Talcott",
 year         = "2007",
 title        = "All About Maude: A High-Performance Logical Framework",
 publisher    = "Springer",
)
@article(kim-stehr-talcott-13scp,
 author       = "Minyoung Kim and Mark-Oliver Stehr and Carolyn Talcott",
 year         = "2013",
 title        = "A Distributed Logic for Networked Cyber-Physical Systems",
 journal      = "Science of Computer Programming",
 doi          = "10.1016/j.scico.2013.01.011",
)
@incollection(lincoln-talcott-10ssb,
 author       = "Patrick. D. Lincoln and Carolyn. Talcott",
 year         = "2010",
 title        = "Symbolic Systems Biology and Pathway Logic",
 editor       = "Sriram Iyengar",
 booktitle    = "Symbolic Systems Biology",
 publisher    = "Jones and Bartlett",
)
@book(janeway-7,
 author       = "Murphy and Travers and Walport",
 year         = "2008",
 title        = "Janeway's Immunobiology, 7th edition",
 publisher    = "Garland Science",
)
@book(works-3,
 author       = "Lauren Sompayrac",
 year         = "2008",
 title        = "How the Immune System Works, 3rd edition",
 publisher    = "Blackwell Publishing",
)
@inproceedings(stehr-kim-talcott-10uic,
 author       = "Mark-Oliver Stehr and Minyoung Kim and Carolyn L. Talcott",
 year         = "2010",
 title        = "Toward Distributed Declarative Control of Networked Cyber-Physical Systems",
 booktitle    = "Ubiquitous Intelligence and Computing - 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010. Proceedings",
 series       = "LNCS",
 volume       = "6406",
 publisher    = "Springer",
 pages        = "397--413",
 doi          = "10.1007/978-3-642-16355-5\_32",
)
@inproceedings(stehr-etal-11cltfest,
 author       = "Mark-Oliver Stehr and Carolyn Talcott and John Rushby and Pat Lincoln and Minyoung Kim and Steven Cheung and Andy Poggio",
 year         = "2011",
 title        = "Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision",
 editor       = "G. Agha and O. Danvy and J. Meseguer",
 booktitle    = "Formal Modeling: Actors, Open Systems, Biological Systems",
 series       = "LNCS",
 volume       = "7000",
 pages        = "110--143",
 doi          = "10.1007/978-3-642-24933-4\_7",
)
@inproceedings(talcott-08sfmbio,
 author       = "Carolyn Talcott",
 year         = "2008",
 title        = "Pathway Logic",
 editor       = "Marco Bernardo and Pierpaolo Degano and Gianluigi Zavattaro",
 booktitle    = "Formal Methods for Computational Systems Biology",
 series       = "LNCS",
 volume       = "5016",
 publisher    = "Springer",
 pages        = "21--53",
 doi          = "10.1007/978-3-540-68894-5\_2",
 note         = "8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems",
)