@inproceedings{eker-etal-02wrla,
author = {Steven Eker and Merrill Knapp and Keith  Laderoute 
          and Patrick Lincoln and Carolyn Talcott},
title = {Pathway Logic:  Executable Models of Biological Networks},
booktitle = {Fourth International Workshop on Rewriting Logic and Its
   Applications (WRLA'2002), Pisa, Italy, September 19 --- 21, 2002},
year = 	 {2002},
volume = 71,
series = {Electronic Notes in Theoretical Computer Science},
publisher =    {Elsevier},
note = {\url{http://www.elsevier.nl/locate/entcs/volume71.html}},
abstract = {
In this paper we describe the use of the rewriting logic based Maude tool to
model and analyze mammalian signaling pathways.  We discuss the
representation of the underlying biological concepts and events and describe
the use of the new search and model checking capabilities of Maude 2.0 to
analyze the modeled network.  We also discuss the use of Maude's reflective
capability for meta modeling and analyzing the models themselves.
The idea of symbolic biological experiments opens up an exciting new world
of challenging applications for formal methods in general and for rewriting
logic based formalisms in particular.},
}