18366 Steven Eker/.../Kemal Somnez: Pathway logic - symbolic analysis of
biological signals. Internet ca. 2002, 13p.

18368 Steven Eker/.../Carolyn Talcott: Pathway logic - executable models
of biological networks. Electronic Notes Theor. CS 71 (2002), 18p.

18361 Carolyn Talcott: Pathway logic. Internet 2006, 1p.

18363 Carolyn Talcott: Symbolic modeling of signal transduction
in pathway logic. Internet 2006, 10p.

18369 Carolyn Talcott: Multiple representations of biological processes.
Internet 2005, 26p.

18362 Carolyn Talcott/David Dill: The pathway logic assistant.
Internet 2005, 19p.

18360 Carolyn Talcott/.../Keith Laderoute: Pathway logic modelling of
protein functional domains in signal transduction. Internet ca. 2004, 13p.