References

  1. G. Agha (1986): Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA.
  2. 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.
  3. Henry G. Baker & Carl Hewitt (1977): Laws for Communicating Parallel Processes. In: IFIP Congress. IFIP, pp. 987–992.
  4. 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.
  5. 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.
  6. Patrick. D. Lincoln & Carolyn. Talcott (2010): Symbolic Systems Biology and Pathway Logic. In: Sriram Iyengar: Symbolic Systems Biology. Jones and Bartlett.
  7. Murphy, Travers & Walport (2008): Janeway's Immunobiology, 7th edition. Garland Science.
  8. Lauren Sompayrac (2008): How the Immune System Works, 3rd edition. Blackwell Publishing.
  9. 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.
  10. 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.
  11. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org