% editors names with only initials
% crossrefs for 6 volumes: 
%     3 workshops, cafeobj workshop + book, toulouse theta

% ====================================================================
% BibTeX-file{
% date   = {2001-07-25},
% title  = {Rewriting Logic and Applications Bibliography},
% author = {Narciso Marti-Oliet and Jose Meseguer and Miguel Palomino},
% email  = {narciso at sip.ucm.es},
% note   = {Prepared for TCS special issue on the subject}
% }
% ====================================================================

@STRING{acm = "{ACM}"}       
@STRING{acmpress = "{ACM} Press"}
@STRING{actai = "Acta Informatica"}
@STRING{alp3 = "Algebraic and Logic Programming, Third International
    Conference, Volterra, Italy, September 2--4, 1992, Proceedings"}
@STRING{amast95 = "Algebraic Methodology and Software Technology,
    4th International Conference, AMAST'95, Montreal, Canada,
    July 3--7, 1995, Proceedings"}      
@STRING{amast96 = "Algebraic Methodology and Software Technology,
    5th International Conference, AMAST'96 Munich, Germany, July, 1996,
    Proceedings"}
@STRING{amast98 = "Algebraic Methodology and Software Technology,
    7th International Conference, AMAST'98, Amazonia, Brazil, January 4--8,
    1999, Proceedings"}
@STRING{amast2000 = "Algebraic Methodology and Software Technology,
    8th International Conference, AMAST 2000, Iowa City, Iowa, USA,
    May 20--27, 2000, Proceedings"}
@STRING{arti = "Artificial Intelligence"}
@STRING{asama2000 = "Agent Systems, Mobile Agents, and Applications,
    Second International Symposium on Agent Systems and Applications and
    Fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich,
    Switzerland, September 13--15, 2000, Proceedings"}
@STRING{ctrs1 = "Conditional Term Rewriting Systems, First International
    Workshop Orsay, France, July 8--10, 1987, Proceedings"}
@STRING{ctrs2 = "Proceedings Second International Workshop on Conditional 
    and Typed Rewriting Systems, Montreal, Canada"}
@STRING{ctrs3 = "Conditional Term Rewriting Systems, Third International
    Workshop, CTRS'92, Pont-\`a-Mousson, France, July 8--10, 1992, Proceedings"}
@STRING{ctrs4 = "Conditional and Typed Rewriting Systems, 4th International
    Workshop, CTRS'94, Jerusalem, Israel, July 13 -- 15, 1994,
    Proceedings"}
@STRING{entcs = "Electronic Notes in Theoretical Computer Science"}
@STRING{fmoods96 = "Proceedings IFIP Conference on Formal Methods for Open 
    Object-Based Distributed Systems, FMOODS'96"}
@STRING{fmoods97 = "Proceedings Second IFIP Conference on Formal Methods for 
    Open Object-Based Distributed Systems, FMOODS'97, July 21--23, 
    1997, Canterbury, Kent, UK"}
@STRING{fmoods00 = "Proceedings IFIP Conference on Formal Methods for Open 
    Object-Based Distributed Systems IV, FMOODS 2000, September 6--8, 2000, 
    Stanford, California, USA"}
@STRING{ieeepress = "{IEEE} Press"}                   
@STRING{ifi = "Department of informatics, University of Oslo, Norway"}
@STRING{igpl = "Logic Journal of the Interest Group in Pure and Applied Logics"}
@STRING{infcont = "Information and Control"}
@STRING{infcomp = "Information and Computation"}
@STRING{ipl = "Information Processing Letters"}
@STRING{jacs = "Journal of Applied Categorical Structures" }        
@STRING{jacm = "Journal of the Association for Computing Machinery"}
@STRING{jar = "Journal of Automated Reasoning"}
@STRING{jcss = "Journal of Computer and System Sciences"}
@STRING{jfp = "Journal of Functional Programming"}
@STRING{jlp = "Journal of Logic Programming"}
@STRING{jsc = "Journal of Symbolic Computation"}
@STRING{jsl = "The Journal of Symbolic Logic"}
@STRING{kluwer = "Kluwer Academic Publishers"}
@STRING{lics14 = "Proceedings, Fourteenth Annual {IEEE} Symposium on Logic in
   Computer Science"}
@STRING{lnai = "Lecture Notes in Artificial Intelligence"}
@STRING{lncs = "Lecture Notes in Computer Science"}
@STRING{lnm = "Lecture Notes in Mathematics" }        
@STRING{mit = "The {MIT} Press"}               
@STRING{mscs = "Mathematical Structures in Computer Science"}        
@STRING{prentice = "Prentice Hall"}
@STRING{rta6 = "Rewriting Techniques and Applications, 6th International
    Conference, {RTA'95}, Kaiserslautern, Germany, April 5--7, 1995,
    Proceedings"}    
@STRING{rta7 = "Rewriting Techniques and Applications, 7th International
    Conference, {RTA'96}, New Brunswick, NJ, USA July 27--30, 1996,
    Proceedings"}
@STRING{rta8 = "Rewriting Techniques and Applications, 8th International
    Conference, {RTA'97}, Sitges, Spain, June 2--5, 1997, Proceedings"}
@STRING{rta9 = "Rewriting Techniques and Applications, 9th International
    Conference, {RTA'98}, Tsukuba, Japan, March 30--April 1, 1998, Proceedings"}
@STRING{rta10 = "Rewriting Techniques and Applications, 10th International
    Conference, {RTA'99}, Trento, Italy, July 2--4, 1999, 
    Proceedings"}    
@STRING{rta11 = "Rewriting Techniques and Applications, 11th International
     Conference, {RTA 2000}, Norwich, UK, July 10--12, 2000, Proceedings"} 
@STRING{rta12 = "Rewriting Techniques and Applications, 12th International 
     Conference, {RTA 2001}, Utrecht, The Netherlands, May 22-24, 2001,
     Proceedings"} 
@STRING{scp = "Science of Computer Programming"}
@STRING{sv = "Springer-Verlag"}
@STRING{tapsoft97 =  "{TAPSOFT}'97: Theory and Practice of Software
    Development, 7th International Joint Conference CAAP/FASE, Lille,
    France, April 14--18, 1997, Proceedings"}
@STRING{tcs = "Theoretical Computer Science"}
@STRING{wadt97 = "Recent Trends in Algebraic Development Techniques, 12th
    International Workshop, {WADT}'97, Tarquinia, Italy, June 3--7, 1997,
    Selected Papers"}
@STRING{wadt98 = "Recent Trends in Algebraic Development Techniques, 13th
    International Workshop, {WADT}'98, Lisbon, Portugal, April 2--4, 1998,
    Selected Papers"}    
@STRING{wadt99 = "Recent Trends in Algebraic Development Techniques, 14th
    International Workshop, {WADT}'99, Chateau de Bonas, 
    France, September 15--18, 1999, Selected Papers"}
@STRING{WRLA1996ProcTitle = "Proceedings First International Workshop on
    Rewriting Logic and its  Applications, WRLA'96, Asilomar, California,
    September 3--6, 1996"}
@STRING{WRLA1998ProcTitle = "Proceedings Second International Workshop on
    Rewriting Logic and its Applications, WRLA'98, Pont-\`a-Mousson, 
    France, September 1--4, 1998"} 
@STRING{WRLA2000ProcTitle = "Proceedings Third International Workshop
    on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, 
    Japan, September 18--20, 2000"}

    
@InProceedings{Albarran-Duran-Vallecillo01a,
  author =       {Antonio Albarr{\'a}n and Francisco Dur{\'a}n and 
                  Antonio Vallecillo},
  title =        {On the Smooth Implementation of Component-Based 
                  System Specifications},
  booktitle =    {Proceedings 6th ECOOP International Workshop on 
                  Component-Oriented Programming, {WCOP'01}},
  address =      {Budapest, Hungary},
  month =        jun,
  year =         2001
}

@Unpublished{Albarran-Duran-Vallecillo01b,
  author =       {Antonio Albarr{\'a}n and Francisco Dur{\'a}n and 
                  Antonio Vallecillo},
  title =        {From {Maude} Specifications to {SOAP} Distributed 
                  Implementations: {A} Smooth Transition},
  year =         2001,
  note =         {Manuscript, Universidad de M\'alaga, Spain, 
                  submitted for publication}
}

@InProceedings{Albarran-Duran-Vallecillo01c,
  author =       {Antonio Albarr{\'a}n and Francisco Dur{\'a}n and 
                  Antonio Vallecillo},
  title =        {{Maude} Meets {CORBA}},
  booktitle =    {Proceedings 2nd Argentine Symposium on Software 
                  Engineering},
  address =      {Buenos Aires, Argentina}, 
  month =        sep # { 10--11,}, 
  year =         2001
}
     
@InProceedings{Aoumeur-Saake99,
  author =       {Nasreddine Aoumeur and Gunter Saake},
  title =        {On the Specification and Validation of Cooperative 
                  Information Systems Using an Extended {Maude}},
  crossref =     {Futatsugi-Goguen-Meseguer99-fm},
  pages =        {95-114} 
}

@InCollection{Astesiano-Broy-Reggio99,
  author =       {Egidio Astesiano and Manfred Broy and Gianna Reggio},
  title =        {Algebraic Specification of Concurrent Systems},
  booktitle =    {Algebraic Foundations of Systems Specification},
  editor =       {E. Astesiano and H.-J. Kreowski and B. Krieg-Br{\"u}ckner},
  publisher =    sv,
  series =       {{IFIP} State-of-the-Art Reports},
  pages =        {467-520},
  year =         1999
}

@InProceedings{Astesiano-Reggio93,
  author =       {Egidio Astesiano and Gianna Reggio},
  title =        {Algebraic specification of concurrency},
  editor =       {M. Bidoit and C. Choppy},
  booktitle =    {Recent Trends in Data Type Specification, 8th Workshop on
                  Specification of Abstract Data Types joint with the 3rd
                  {COMPASS} Workshop, Dourdan, France, August 26--30, 1991,
                  Selected Papers},
  series =       lncs,
  publisher =    sv,
  volume =       655,
  year =         1993,
  pages =        {1-39},
}

@TechReport{Astesiano-Reggio96,
  author =       {Egidio Astesiano and Gianna Reggio},
  title =        {Labelled transition logic: {A}n outline},
  number =       {DISI-TR-96-20},
  institution =  {Dipartimento di Informatica e Scienze 
                  dell'Informazione, Universit{\`a} di Genoa, Italy},
  year =         1996
}

@TechReport{Astesiano-Reggio97,
  author =       {Egidio Astesiano and Gianna Reggio},
  title =        {On the relationship between labelled transition logic and
                  rewriting logic},
  number =       {DISI-TR-97-23},
  institution =  {Dipartimento di Informatica e Scienze 
                  dell'Informazione, Universit{\`a} di Genoa, Italy},
  year =         1997
}

@InProceedings{VanBaalen-Caldwell-Mishra00,
  author =       {Jeffrey Van Baalen and James L. Caldwell and 
                  Shivakant Mishra},
  title =        {Specifying and checking fault-tolerant agent-based
                  protocols using {Maude}},
  booktitle =    {First Goddard Workshop on Formal Approaches to Agent-Based 
                  Systems, Greenbelt, MD, USA, April 5--7, 2000, 
                  Proceedings},
  series =       lncs,
  note =         {To appear}
}

@InProceedings{Basin-Clavel-Meseguer99,
  author =       {David Basin and Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Reflective Metalogical Frameworks},
  booktitle =    {Proceedings of LFM'99: Workshop on Logical Frameworks and
                  Meta-languages},
  address =      {Paris, France}, 
  month =        sep # { 28,}, 
  year =         1999,
  note =         {\url{http://www.cs.bell-labs.com/~felty/LFM99/}}
}

@InProceedings{Basin-Clavel-Meseguer00,
  author =       {David Basin and Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Rewriting Logic as a Metalogical Framework},
  booktitle =    {Twentieth Conference on the Foundations of
                  Software Technology and Theoretical Computer Science, New
                  Delhi, India, December 13--15, 2000, Proceedings},
  editor =       {S. Kapoor and S. Prasad},
  pages =        {55-80},
  publisher =    sv,
  series =       lncs,
  volume =       1974,
  year =         2000
}

@Unpublished{Basin-Clavel-Meseguer00-long,
  author =       {David Basin and Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Rewriting Logic as a Metalogical Framework},
  year =         2000,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, submitted for publication}
}

@InProceedings{Basin-Denker00,
  author =       {David Basin and Grit Denker},
  title =        {{Maude} versus {Haskell}: An Experimental Comparison in
                  Security Protocol Analysis},
  pages =        {235-256},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{BBKK01,
  author =       {Emmanuel Beffara and Olivier Bournez and  
		  Hassen Kacem and Claude Kirchner},
  title =        {Verification of timed automata using rewrite rules 
                  and strategies},		  
  booktitle = 	 {Proceedings BISFAI 2001, Seventh Biennial Bar-Ilan 
                  International Symposium on the Foundations of 
                  Artificial Intelligence},
  address =      {Ramat-Gan, Israel},
  month =        jun # { 25--27,},
  editor =       {N. Dershowitz and A. Frank},
  year =         2001
}

@InProceedings{Borovansky95,
  author =       {Peter Borovansk\'y},
  title =        {Implementation of higher-order unification based on
                  calculus of explicit substitutions},
  booktitle =    {{SOFSEM}'95: Theory and Practice of Informatics, 22nd
                  Seminar on Current Trends in Theory and Practice of
                  Informatics, Milovy, Czech Republic, November 23 --
                  December 1, 1995, Proceedings},
  year =         1995,
  editor =       {M. Bartosek and J. Staudek and J. Wiedermann},
  pages =        {363-368},
  publisher =    sv,
  series =       lncs,
  volume =       1012
}

@InProceedings{Borovansky98,
  author =       {Peter Borovansk\'y},
  title =        {Controlling Rewriting: Study and Implementation of a
                  Strategy Formalism},
  pages =        {63-74},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@PhdThesis{Borovansky98-thesis,
  author =       {Peter Borovansk{\'y}},
  title =        {Le Contr{\^o}le de la R{\'e}{\'e}criture: {\'E}tude et
                  Implantation d'un Formalisme de Strat{\'e}gies},
  school =       {Universit{\'e} Henri Poincar{\'e} -- Nancy I},
  year =         1998,
  month =        oct
}

@InProceedings{Borovansky-Castro98,
  author =       {Peter Borovansk\'y and Carlos Castro},
  title =        {Cooperation of Constraint Solvers: Using the New Process
                  Control Facilities of {ELAN}},
  pages =        {379-398},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@TechReport{BCDKKMRV98,
  author =       {Peter Borovansk\'y and Horatiu Cirstea and 
                  Hubert Dubois and Claude Kirchner and H{\'e}l{\`e}ne Kirchner 
                  and Pierre-Etienne Moreau and
                  Christophe Ringeissen and Marian Vittek},
  title =        {{ELAN} V 3.3 user manual, {T}hird edition},
  institution =  {INRIA Lorraine \& LORIA, Nancy, France},
  month =        dec,
  year =         1998
}

@InProceedings{BJMR98,
  author =       {Peter Borovansk\'y and Salma Jamoussi and Pierre-Etienne
                  Moreau and Christophe Ringeissen},
  title =        {Handling {ELAN} rewrite programs via an exchange format},
  pages =        {207-224},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Borovansky-Kirchner-Kirchner96,
  author =       {Peter Borovansk\'y and Claude Kirchner and 
                  H{\'e}l{\`e}ne Kirchner},
  title =        {Controlling rewriting by rewriting},
  pages =        {168-188},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Borovansky-Kirchner-Kirchner97,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne
                  Kirchner},
  title =        {Strategies and Rewriting in {ELAN}},
  booktitle =    {Proceedings of the CADE-14 Workshop on Strategies in
                  Automated Deduction},
  editor =       {B. Gramlich and H. Kirchner},
  address =      {Townsville, Australia},
  pages =        {13-24},
  month =        jul,
  year =         1997
}

@InProceedings{Borovansky-Kirchner-Kirchner98,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne
                  Kirchner},
  title =        {A functional view of rewriting and strategies for a
                  semantics of {ELAN}},
  booktitle =    {The Third Fuji International Symposium on Functional and
                  Logic Programming},
  address =      {Kyoto, Japan},
  editor =       {M. Sato and Y. Toyama},
  pages =        {143-167},
  publisher =    {World Scientific},
  year =         1998,
  month =        apr
}

@InProceedings{Borovansky-Kirchner-Kirchner98-asfsdf,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne
                  Kirchner},
  title =        {Rewriting as a Unified Specification Tool for Logic and
                  Control: The {ELAN} Language},
  booktitle =    {Second International Workshop on the Theory and Practice
                  of Algebraic Specifications, Amsterdam, The Netherlands,
                  September 25--26, 1997},
  publisher =    sv,
  editor =       {M. P. A. Sellink},
  series =       {Electronic Workshops in Computing},
  year =         1998,
  note =       {\url{http://www.ewic.org.uk/ewic/workshop/view.cfm/ASFSDF-97}}
}

@Article{BKKM01,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne
                  Kirchner and Pierre-Etienne Moreau},
  title =        {{ELAN} from the rewriting logic point of view},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{BKKMR98,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne
                  Kirchner and Pierre-Etienne Moreau and Christophe
                  Ringeissen},
  title =        {An Overview of {ELAN}},
  pages =        {329-344},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{BKKMV96,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne 
                  Kirchner and Pierre-Etienne Moreau and Marian Vittek},
  title =        {{ELAN}: A logical framework based on computational
                  systems},
  pages =        {35-50}, 
  crossref =     {Meseguer96-wrla}
}

@Article{BKKR01,
  author =       {Peter Borovansk\'y and Claude Kirchner and H{\'e}l{\`e}ne
                  Kirchner and Christophe Ringeissen},
  title =        {Rewriting with Strategies in {ELAN}: A Functional
                  Semantics},
  journal =      {International Journal of Foundations of Computer Science},
  year =         2001,
  note =         {To appear}
}

@InProceedings{Borovansky-Kirchner98,
  author =       {Peter Borovansk\'y and H{\'e}l{\`e}ne Kirchner},
  title =        {Strategies of {ELAN}: Meta-Interpretation and Partial
                  Evaluation},
  booktitle =    {Second International Workshop on the Theory and Practice
                  of Algebraic Specifications, Amsterdam, The Netherlands,
                  September 25--26, 1997},
  publisher =    sv,
  editor =       {M. P. A. Sellink},
  series =       {Electronic Workshops in Computing},
  year =         1998,
  note =       {\url{http://www.ewic.org.uk/ewic/workshop/view.cfm/ASFSDF-97}}
}

@InProceedings{Bouhoula-Jouannaud-Meseguer97,
  author =       {Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e}
                  Meseguer},
  title =        {Specification and Proof in Membership Equational Logic},
  booktitle =    tapsoft97,
  year =         1997,
  editor =       {M. Bidoit and M. Dauchet},
  publisher =    sv,
  volume =       1214,
  series =       lncs,
  pages =        {67-92}
}

@Article{Bouhoula-Jouannaud-Meseguer00,
  author =       {Adel Bouhoula and Jean-Pierre Jouannaud and Jos{\'e}
                  Meseguer},
  title =        {Specification and Proof in Membership Equational Logic},
  journal =      tcs,
  volume =       236,
  year =         2000,
  pages =        {35-132}
}

@InProceedings{BHMM00,
  author =       {Christiano Braga and Hermann Haeusler and Jos{\'e}
                  Meseguer and Peter Mosses},
  title =        {{M}aude {A}ction {T}ool: {U}sing reflection to map action
                  semantics to rewriting logic},
  booktitle =    amast2000,
  editor =       {T. Rus},
  year =         2000,
  publisher =    sv,
  series =       lncs,
  volume =       1816,
  pages =        {407-421}
}

@InProceedings{Bruni98,
  author =       {Roberto Bruni},
  title =        {A Logic for Modular Descriptions of Asynchronous and
                  Synchronized Concurrent Systems},
  pages =        {225-236},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@PhdThesis{Bruni99-thesis,
  author =       {Roberto Bruni},
  title =        {Tile Logic for Synchronized Rewriting of Concurrent
                  Systems},
  school =       {Dipartimento di Informatica, Universit{\`a} di Pisa},
  note =         {Technical Report TD-1/99. 
             \url{http://www.di.unipi.it/phd/tesi/tesi_1999/TD-1-99.ps.gz}},
  year =         1999
}

@InProceedings{BFMM00,
  author =       {Roberto Bruni and David de Frutos-Escrig and
                  Narciso Mart{\'\i}-Oliet and Ugo Montanari},
  title =        {Bisimilarity Congruences for Open Terms and Term Graphs
                  via Tile Logic},
  booktitle =    {CONCUR 2000, Concurrency Theory, 11th International
                  Conference, University Park, PA, USA, August 22--25,
                  2000, Proceedings},
  editor =       {C. Palamidessi},
  series =       lncs,
  volume =       1877,
  pages =        {259-274},
  publisher =    sv,
  year =         2000
}

@TechReport{BFMM00-tr,
  author =       {Roberto Bruni and David de Frutos-Escrig and
                  Narciso Mart{\'\i}-Oliet and Ugo Montanari},
  title =        {Tile Bisimilarity Congruences for Open Terms and Term
                  Graphs},
  institution =  {Dipartimento di Informatica, Universit{\`a} di Pisa},
  year =         2000,
  number =       {TR-00-06},
  note =       {\url{ftp://ftp.di.unipi.it/pub/techreports/TR-00-06.ps.Z}}
}

@InProceedings{Bruni-Meseguer-Montanari98,
  author =       {Roberto Bruni and Jos{\'e} Meseguer and Ugo Montanari},
  title =        {Implementing Tile Systems: Some Examples from Process
                  Calculi},
  booktitle =    {Proceedings 6th Italian Conference on Theoretical Computer
                  Science, ICTCS'98},
  editor =       {P. Degano and U. Vaccaro and G. Pirillo},
  pages =        {168-179},
  publisher =    {World Scientific},
  year =         1998
}

@InProceedings{Bruni-Meseguer-Montanari98-wrla,
  author =       {Roberto Bruni and Jos{\'e} Meseguer and Ugo Montanari},
  title =        {Internal Strategies in a Rewriting Implementation of Tile
                  Systems},
  pages =        {95-116},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@TechReport{Bruni-Meseguer-Montanari98-tr,
  author =       {Roberto Bruni and Jos{\'e} Meseguer and Ugo Montanari},
  title =        {Process and Term Tile Logic},
  year =         1998,
  month =        jul,
  institution =  {Computer Science Laboratory, SRI International},
  number =       {SRI-CSL-98-06},
  note =         {Also TR-98-09, Dipartimento di Informatica,
                  Universit{\`a} di Pisa. 
                \url{ftp://ftp.di.unipi.it/pub/techreports/TR-98-09.ps.Z}}
}

@InProceedings{Bruni-Meseguer-Montanari99,
  author =       {Roberto Bruni and Jos{\'e} Meseguer and Ugo Montanari},
  title =        {Executable Tile Specifications for Process Calculi},
  booktitle =    {Fundamental Approaches to Software Engineering, Second
                  International Conference, FASE'99, Held as Part of
                  {ETAPS}'99, Amsterdam, The Netherlands, March 22--28,
                  1999, Proceedings},
  editor =       {J.-P. Finance},
  year =         1999,
  publisher =    sv,
  series =       lncs,
  volume =       1577,
  pages =        {60-76}
}

@Article{Bruni-Meseguer-Montanari00,
  author =       {Roberto Bruni and Jos{\'e} Meseguer and Ugo Montanari},
  title =        {Symmetric Monoidal and Cartesian Double Categories as a
                  Semantic Framework for Tile Logic},
  journal =      mscs,
  year =         2000,
  note =         {To appear}
}

@InProceedings{Bruni-Montanari99,
  author =       {Roberto Bruni and Ugo Montanari},
  title =        {Cartesian Closed Double Categories, their
                  Lambda-Notation, and the Pi-Calculus},
  booktitle =    lics14, 
  address =      {Trento},
  month =        jul # { 2--5,},     
  pages =        {246-265},
  organization = {IEEE Computer Society},
  year =         1999
}

@Unpublished{Bruni-Montanari-Rossi00,
  author =       {Roberto Bruni and Ugo Montanari and Francesca Rossi},
  title =        {An Interactive Semantics of Logic Programming},
  year =         2000,
  note =         {Manuscript, Dipartimento di Informatica, Universit{\`a} 
                  di Pisa, submitted for publication}
}

@InProceedings{Bruni-Montanari-Sassone00,
  author =       {Roberto Bruni and Ugo Montanari and Vladimiro Sassone},
  title =        {Open ended systems, dynamic bisimulation and tile logic},
  booktitle =    {Theoretical Computer Science: Exploring New Frontiers of
                  Theoretical Informatics, International Conference IFIP
                  TCS 2000 Sendai, Japan, August 17--19, 2000, Proceedings},
  editor =       {J. van Leeuwen and O. Watanabe and M. Hagiya and
                  P. D. Mosses and T. Ito},
  series =       lncs,
  volume =       1872,
  pages =        {440-456},
  publisher =    sv,
  year =         2000
}

@InProceedings{Carabetta-Degano-Gadducci98,
  author =       {Georgia Carabetta and Pierpaolo Degano and Fabio
                  Gadducci},
  title =        {{CCS} Semantics via Proved Transition Systems and
                  Rewriting Logic},
  pages =        {253-272},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Castro96-wrla,
  author =       {Carlos Castro},
  title =        {An approach to solving binary {CSP} using computational
                  systems},
  pages =        {245-264},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Castro96,
  author =       {Carlos Castro},
  title =        {Binary {CSP} Solving as an Inference Process},
  booktitle =    {Proceedings of the Eighth International Conference on
                  Tools in Artificial Intelligence, ICTAI'96},
  address =      {Toulouse, France},
  pages =        {462-463},
  year =         1996,
  month =        nov
}

@InProceedings{Castro97,
  author =       {Carlos Castro},
  title =        {Constraint Manipulation using Rewrite Rules and
                  Strategies},
  booktitle =    {Proceedings of the Second ESSLLI Student Session, 9th
                  European Summer School in Logic, Language and
                  Information, ESSLLI'97},
  address =      {Aix-en-Provence, France},
  pages =        {45-56},
  year =         1997,
  month =        aug
}

@Article{Castro98,
  author =       {Carlos Castro},
  title =        {Building Constraint Satisfaction Problem Solvers Using
                  Rewrite Rules and Strategies},
  journal =      {Fundamenta Informaticae},
  year =         1998,
  volume =       34,
  number =       3,
  pages =        {263-293},
  month =        sep
}

@PhdThesis{Castro98-thesis,
  author =       {Carlos Castro},
  title =        {Une Approche D\'eductive de la R\'esolution de 
                  Probl\`emes de Satisfaction de Contraintes},
  school =       {Universit{\'e} Henri Poincar{\'e} -- Nancy I},
  year =         1998
}

@TechReport{Cengarle98,
  author =       {Mar{\'\i}a Victoria Cengarle},
  title =        {The Rewriting Logic Institution},
  institution =  {Institut f{\"u}r Informatik,
                  Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen},
  number =       {9801},
  month =        may,
  year =         1998
}

@InProceedings{CLMS96,
  author =       {Anna Ciampolini and Evelina Lamma and Paola Mello and
                  Cesare Stefanelli},
  title =        {Distributed logic objects: A fragment of rewriting logic
                  and its implementation},
  pages =        {109-124}, 
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Cirstea99,
  author =       {Horatiu Cirstea},
  title =        {Specifying authentication protocols in {ELAN}},
  booktitle =    {Workshop on Modelling and Verification},
  year =         1999,
  month =        dec,
  address =      {Besan\c{c}on, France}
}

@PhdThesis{Cirstea00-thesis,
  author =       {Horatiu Cirstea},
  title =        {Calcul de R\'e\'ecriture: Fondements et Applications},
  school =       {Universit{\'e} Henri Poincar{\'e} -- Nancy I},
  year =         2000,
  month =        oct
}

@Misc{Cirstea-Kirchner97,
  author =       {Horatiu Cirstea and Claude Kirchner},
  title =        {Theorem Proving Using Computational Systems: The Case of
                  the {B} Predicate Prover},
  howpublished = {Presented at \emph{CCL'97 Workshop}, Schloss Dagstuhl, 
                  Germany},
  year =         1997,
  month =        sep
}

@InProceedings{Cirstea-Kirchner98,
  author =       {Horatiu Cirstea and Claude Kirchner},
  title =        {Using Rewriting and Strategies for Describing the {B}
                  Predicate Prover},
  booktitle =    {Proceedings of the {CADE}-15 Workshop on Strategies in 
                  Automated Deduction},
  editor =       {B. Gramlich and F. Pfenning},
  address =      {Lindau, Germany},
  month =        jul,
  year =         1998
}

@InProceedings{Cirstea-Kirchner99,
  author =       {Horatiu Cirstea and Claude Kirchner},
  title =        {Combining higher-order and first-order computations using
                  $\rho$-calculus: Towards a semantics of {ELAN}},
  booktitle =    {Frontiers of Combining Systems 2},
  year =         1999,
  pages =        {95-121},
  editor =       {D. Gabbay and M. de Rijke},
  publisher =    {Research Studies Press/Wiley}
}

@InProceedings{Cirstea-Kirchner00,
  author =       {Horatiu Cirstea and Claude Kirchner},
  title =        {The simply typed rewriting calculus},
  pages =        {23-41},
  crossref =     {Futatsugi00-wrla}
}

@Article{Cirstea-Kirchner01-I,
  author =       {Horatiu Cirstea and Claude Kirchner},
  title =        {The rewriting calculus --- {Part~I}},
  journal =      igpl,
  volume =       9,
  number =       3,
  year =         2001,
  pages =        {363-399}
}

@Article{Cirstea-Kirchner01-II,
  author =       {Horatiu Cirstea and Claude Kirchner},
  title =        {The rewriting calculus --- {Part~II}},
  journal =      igpl,
  volume =       9,
  number =       3,
  year =         2001,
  pages =        {401-434}
}

@InProceedings{Cirstea-Kirchner-Liquori01,
  author =       {Horatiu Cirstea and Claude Kirchner and Luigi Liquori},
  title =        {The Rho Cube},
  booktitle =    {Foundations of Software Science and Computation 
                  Structures, 4th International Conference, {FOSSACS} 2001, 
                  Held as Part of {ETAPS} 2001, Genova, Italy, April 
                  2001, Proceedings},
  editor =       {F. Honsell and M. Miculan},
  publisher =    sv,
  series =       lncs,
  volume =       2030,
  pages =        {168-183},
  year =         2001
}

@InProceedings{Cirstea-Kirchner-Liquori01-rta,
  author =       {Horatiu Cirstea and Claude Kirchner and Luigi Liquori},
  title =        {Matching Power},
  booktitle =    rta12,
  editor =       {A. Middeldorp},
  publisher =    sv,
  series =       lncs,
  volume =       2051,
  pages =        {77-92},
  year =         2001
}

@PhdThesis{Clavel98-thesis,
  author =       {Manuel Clavel},
  title =        {Reflection in General Logics and in Rewriting Logic, with
                  Applications to the {Maude} Language},
  year =         1998,
  month =        feb,
  school =       {Universidad de Navarra, Spain}
}

@InProceedings{Clavel98,
  author =       {Manuel Clavel},
  title =        {Reflection in General Logics, Rewriting Logic, and
                  {Maude}},
  pages =        {317-328},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@Book{Clavel00,
  author =       {Manuel Clavel},
  title =        {Reflection in Rewriting Logic: Metalogical Foundations
                  and Metaprogramming Applications},
  publisher =    {{CSLI} Publications},
  year =         2000
}

@InProceedings{CDELMM98,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer},
  title =        {Metalevel Computation in {Maude}},
  pages =        {3-24},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{CDELMMQ98-wrla,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {{Maude} as a Metalanguage},
  pages =        {237-250},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@Unpublished{CDELMMQ98,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {Language Prototyping in the {Maude} Metalanguage},
  year =         1998,
  month =        nov,
  note =         {Manuscript, Computer Science Laboratory, SRI International}
}

@InProceedings{CDELMMQ99,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {The {Maude} System},
  editor =       {P. Narendran and M. Rusinowitch},
  pages =        {240-243},
  booktitle =    rta10,
  year =         1999,
  publisher =    sv,
  series =       lncs,
  volume =       1631
}

@Unpublished{CDELMMQ99-manual,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {{Maude}: Specification and Programming in Rewriting
                  Logic},
  year =         1999,
  month =        jan,
  note =         {Manual distributed as
                  documentation of the {Maude} system, Computer 
                  Science Laboratory, SRI International. 
		  \url{http://maude.csl.sri.com/manual}}
}

@InProceedings{CDELMMQ00,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {Using {Maude}},
  booktitle =    {Fundamental Approaches to Software Engineering, Third
                  International Conference, {FASE} 2000, Held as Part of
                  {ETAPS} 2000, Berlin, Germany, March/April 
                  2000, Proceedings},
  editor =       {T. Maibaum},
  publisher =    sv,
  series =       lncs,
  volume =       1783,
  pages =        {371-374},
  year =         2000
}

@Unpublished{CDELMMQ00-tutorial,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {A {Maude} Tutorial},
  month =        mar,
  year =         2000,
  note =         {Tutorial distributed as documentation of the {Maude}
                  system, Computer Science Laboratory, SRI International. 
                  Presented at the {\em European Joint Conference on Theory 
                  and Practice of Software, ETAPS 2000}, Berlin, Germany,
                  March 25, 2000. \url{http://maude.csl.sri.com/tutorial}}
}

@InProceedings{CDELMMQ00-wrla,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {Towards {Maude} 2.0},
  pages =        {297-318},
  crossref =     {Futatsugi00-wrla}
}

@Article{CDELMMQ01,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer and Jos{\'e} F. Quesada},
  title =        {{Maude}: Specification and Programming in Rewriting
                  Logic},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{CDEM98,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Jos{\'e} Meseguer},
  title =        {Building Equational Proving Tools by Reflection in
                  Rewriting Logic},
  crossref =     {Futatsugi98-cafeobj},
  note =         {\url{http://maude.csl.sri.com/papers}}
}

@TechReport{CDEM98-tr,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Jos{\'e} Meseguer},
  title =        {Design and Implementation of the {Cafe} Prover and the
                  {Church-Rosser} Checker Tools},
  year =         1998,
  month =        mar,
  institution =  {Computer Science Laboratory, SRI International},
  note =         {\url{http://maude.csl.sri.com/papers}}
}

@InCollection{CDEM00,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Jos{\'e} Meseguer},
  title =        {Building equational proving tools by reflection in
                  rewriting logic},
  crossref =     {Futatsugi-Nakagawa-Tamai00},
  pages =        {1-31},
  note =         {\url{http://maude.csl.sri.com/papers}}
}

@InProceedings{CDEMS99,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and
                  Jos{\'e} Meseguer and Mark-Oliver Stehr},
  title =        {{Maude} as a Formal Meta-Tool},
  booktitle =    {FM'99 --- Formal Methods, World Congress on Formal
                  Methods in the Development of Computing Systems,
                  Toulouse, France, September 20--24, 1999 Proceedings,
                  Volume II},
  year =         1999,
  editor =       {J. M. Wing and J. Woodcock and J. Davies},
  pages =        {1684-1703},
  publisher =    sv,
  volume =       1709,
  series =       lncs
}

@InProceedings{Clavel-Duran-Marti-Oliet00,
  author =       {Manuel Clavel and Francisco Dur{\'a}n and 
                  Narciso Mart{\'\i}-Oliet},
  title =        {Polytypic Programming in {Maude}},
  pages =        {339-360},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{CELM96,
  author =       {Manuel Clavel and Steven Eker and Patrick Lincoln and
                  Jos{\'e} Meseguer},
  title =        {Principles of {Maude}},
  pages =        {65-89},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Clavel-Meseguer96,
  author =       {Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Axiomatizing Reflective Logics and Languages},
  booktitle =    {Proceedings of Reflection'96, San Francisco, California,
                  April 1996},
  editor =       {G. Kiczales},
  pages =        {263-288},
  year =         1996
}

@InProceedings{Clavel-Meseguer96-wrla,
  author =       {Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Reflection and strategies in rewriting logic},
  pages =        {125-147},  
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Clavel-Meseguer97,
  author =       {Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Internal Strategies in a Reflective Logic},
  booktitle =    {Proceedings of the CADE-14 Workshop on Strategies in
                  Automated Deduction},
  address =      {Townsville, Australia},
  month =        jul,
  editor =       {B. Gramlich and H. Kirchner},
  year =         1997,
  pages =        {1-12}
}

@InProceedings{Clavel-Meseguer97-imsa,
  author =       {Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Reflection in rewriting logic and its applications in the
                  {Maude} language },
  booktitle =    {Proceedings {IMSA}'97},
  year =         1997,
  pages =        {128-139},
  publisher =    {Information-Technology Promotion Agency, Japan}
}

@Article{Clavel-Meseguer01,
  author =       {Manuel Clavel and Jos{\'e} Meseguer},
  title =        {Reflection in conditional rewriting logic},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{Corradini-Gadducci95,
  author =       {Andrea Corradini and Fabio Gadducci},
  title =        {{CPO} models for infinite term rewriting},
  booktitle =    amast95,
  editor =       {V. S. Alagar and M. Nivat},
  year =         1995,
  pages =        {368-384},
  publisher =    sv,
  series =       lncs,
  volume =       936
}

@InProceedings{Corradini-Gadducci-Montanari95,
  author =       {Andrea Corradini and Fabio Gadducci and Ugo Montanari},
  title =        {Relating Two Categorical Models of Term Rewriting},
  booktitle =    rta6,
  editor =       {J. Hsiang},
  publisher =    sv,
  series =       lncs,
  volume =       914,
  pages =        {225-240},
  year =         1995
}

@InProceedings{Corradini-Heckel-Montanari95,
  author =      {Andrea Corradini and Reiko Heckel and Ugo Montanari},
  title =       {Tile Transition Systems as Structured Coalgebras},
  booktitle =   {Fundamentals of Computation Theory, 12th International 
                 Symposium, {FCT'99}, Iasi, Romania, 
		 August 30 -- September 3, 1999, Proceedings},
  editor =      {G. Ciobanu and G. Paun},
  series =      lncs,
  volume =      1684,
  pages =       {13--38},
  publisher =   sv,
  year =        1999
}

@Unpublished{Degano-Gadducci-Priami00,
  author =       {Pierpaolo Degano and Fabio Gadducci and Corrado Priami},
  title =        {A Causal Semantics for {CCS} via Rewriting Logic},
  year =         2000,
  note =         {Manuscript, Dipartimento di Informatica, Universit{\`a} 
                  di Pisa, submitted for publication}
}

@InProceedings{Denker98,
  author =       {Grit Denker},
  title =        {From Rewrite Theories to Temporal Logic Theories},
  pages =        {273-294},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{DGMORST99,
  author =       {Grit Denker and Jos{\'e} J. Garc{\'\i}a-Luna-Aceves and
                  Jos{\'e} Meseguer and Peter Csaba {\"O}lveczky and 
                  Jyoti Raju and Brad Smith and Carolyn L. Talcott},
  title =        {Specification and Analysis of a Reliable Broadcasting
                  Protocol in {Maude}},
  booktitle =    {Proceedings 37th Allerton Conference on Communication,
                  Control and Computation},
  year =         1999,
  pages =        {738-747},
  editor =       {B. Hajek and R. S. Sreenivas},
  publisher =    {University of Illinois},
  note =         {\url{http://maude.csl.sri.com/casestudies/rbp}}
}

@TechReport{DGMORST99-tr,
  author =       {Grit Denker and Jos{\'e} J. Garc{\'\i}a-Luna-Aceves and
                  Jos{\'e} Meseguer and Peter Csaba {\"O}lveczky and 
                  Jyoti Raju and Brad Smith and Carolyn L. Talcott},
  title =        {Specifying a Reliable Broadcasting Protocol in {M}aude},
  institution =  {Computer Science Laboratory, SRI International},
  year =         1999,
  note =         {\url{http://www.csl.sri.com/casestudies/rbp}}
}

@InProceedings{Denker-Gogolla94,
  author =       {Grit Denker and Martin Gogolla},
  title =        {Translating {TROLL} {\it light} concepts to {M}aude},
  booktitle =    {Recent Trends in Data Type Specification, 9th Workshop on
                  Specification of Abstract Data Types Joint with the 4th
                  {COMPASS} Workshop, Caldes de Malavella, Spain, October
                  1992, Selected Papers},
  year =         1994,
  editor =       {H. Ehrig and F. Orejas},
  pages =        {173-187},
  publisher =    sv,
  volume =       785,
  series =       lncs
}

@inProceedings{Denker-Meseguer-Talcott98,
  author =       {Grit Denker and Jos{\'e} Meseguer and Carolyn L. Talcott},
  title =        {Protocol Specification and Analysis in {Maude}},
  booktitle =    {Proceedings of Workshop on Formal Methods and Security
                  Protocols, June 25, 1998, Indianapolis, Indiana},
  year =         1998,
  editor =       {N. Heintze and J. Wing},
  note =         {\url{http://www.cs.bell-labs.com/who/nch/fmsp/index.html}}
}

@InProceedings{Denker-Meseguer-Talcott00,
  author =       {Grit Denker and Jos{\'e} Meseguer and Carolyn L. Talcott},
  title =        {Formal Specification and Analysis of Active Networks and
                  Communication Protocols: The {Maude} Experience},
  booktitle =    {Proceedings {DARPA} Information Survivability Conference
                  and Exposition, {DISCEX 2000}, Hilton Head 
                  Island, South Carolina, January 25--27, 2000},
  editor =       {D. Maughan and G. Koob and S. Saydjari},
  year =         2000,
  pages =        {251-265},
  publisher =    {IEEE Computer Society Press},
  note =         {\url{http://schafercorp-ballston.com/discex/}}
}

@InProceedings{Denker-Meseguer-Talcott00-wrla,
  author =       {Grit Denker and Jos{\'e} Meseguer and Carolyn L. Talcott},
  title =        {Rewriting Semantics of Meta-Objects and Composable
                  Distributed Services},
  pages =        {407-427},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Denker-Millen99,
  author =       {Grit Denker and Jon Millen},
  title =        {{CAPSL} intermediate language},
  booktitle =    {Proceedings of Workshop on Formal Methods and Security
                  Protocols, {FMSP}'99, July 1999, Trento, Italy},
  year =         1999,
  editor =       {N. Heintze and E. Clarke},
  note =      {\url{http://www.cs.bell-labs.com/who/nch/fmsp99/program.html}}
}

@TechReport{Denker-Millen99-tr,
  author =       {Grit Denker and Jon Millen},
  title =        {{CAPSL} and {CIL} Language Design: A Common Authentication
                  Protocol Specification Language and Its Intermediate
                  Language},
  institution =  {Computer Science Laboratory, SRI International},
  year =         1999,
  number =       {SRI-CSL-99-02},
  note =         {\url{http://www.csl.sri.com/~denker/pub_99.html}}
}

@InProceedings{Denker-Millen00,
  author =       {Grit Denker and Jon Millen},
  title =        {{CAPSL} Integrated Protocol Environment},
  booktitle =    {Proceedings {DARPA} Information Survivability Conference
                  and Exposition, {DISCEX 2000}, Hilton Head 
                  Island, South Carolina, January 25-27, 2000},
  pages =        {207-222},
  editor =       {D. Maughan and G. Koob and S. Saydjari},
  publisher =    {IEEE Computer Society Press},
  year =         2000,
  note =         {\url{http://schafercorp-ballston.com/discex/}}
}

@TechReport{Denker-Millen00-tr,
  author =       {Grit Denker and Jon Millen},
  title =        {The {CAPSL} Integrated Protocol Environment},
  institution =  {Computer Science Laboratory, SRI International},
  year =         2000,
  number =       {{SRI-CSL-2000-02}},
  note =         {\url{http://www.csl.sri.com/~denker/pub_99.html}}
}

@InProceedings{Deplagne00,
  author =       {Eric Deplagne},
  title =        {Sequent calculus viewed modulo},
  booktitle =    {Proceedings of the Fifth ESSLLI Student Session},
  pages =        {66-76},
  editor =       {C. Pili{\`e}re},
  publisher =    {University of Birmingham},
  year =         2000,
  month =        aug,
  note = {\url{http://www.loria.fr/publications/2000/A00-R-256/A00-R-256.ps}}
}

@InProceedings{Diaconescu96,
  author =       {R{\u{a}}zvan Diaconescu},
  title =        {Foundations of Behavioural Specification in Rewriting
                  Logic},
  pages =        {225-244},
  crossref =     {Meseguer96-wrla}
}

@Unpublished{Diaconescu96-long,
  author =       {R{\u{a}}zvan Diaconescu},
  title =        {Behavioural Rewriting Logic: Semantic 
                  Foundations and Proof Theory},
  year =         1996,
  month =        oct,
  note =         {Manuscript, submitted for publication.
                  \url{http://ldl-www.jaist.ac.jp/cafeobj/documents.html}}
}

@Book{Diaconescu-Futatsugi98,
  author =       {R{\u{a}}zvan Diaconescu and Kokichi Futatsugi},
  title =        {{CafeOBJ} Report. The Language, Proof Techniques, and
                  Methodologies for Object-Oriented Algebraic
                  Specification},
  year =         1998,
  publisher =    {World Scientific},
  series =       {AMAST Series in Computing},
  volume =       6
}

@Article{Diaconescu-Futatsugi01,
  author =       {R{\u{a}}zvan Diaconescu and Kokichi Futatsugi},
  title =        {Logical Foundations of {CafeOBJ}},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{Diaconescu-Futatsugi-Iida99,
  author =       {R{\u{a}}zvan Diaconescu and Kokichi Futatsugi and
                  Shusaku Iida},
  title =        {Component-Based Algebraic Specification and 
                  Verification in {CafeOBJ}},
  booktitle =    {FM'99 --- Formal Methods, World Congress on Formal
                  Methods in the Development of Computing Systems,
                  Toulouse, France, September 20--24, 1999 Proceedings,
                  Volume II},
  year =         1999,
  editor =       {J. M. Wing and J. Woodcock and J. Davies},
  pages =        {1644-1663},
  publisher =    sv,
  volume =       1709,
  series =       lncs
}

@InCollection{Diaconescu-Futatsugi-Iida00,
  author =       {R{\u{a}}zvan Diaconescu and Kokichi Futatsugi and
                  Shusaku Iida},
  title =        {{CafeOBJ} Jewels},
  crossref =     {Futatsugi-Nakagawa-Tamai00},
  pages =        {33-60}
}

@InProceedings{DFISN98,
  author =       {R{\u{a}}zvan Diaconescu and Kokichi Futatsugi and Makoto
                  Ishisone and Toshimi Sawada and Ataru T. Nakagawa},
  title =        {An Overview of {CafeOBJ}},
  pages =        {75-88},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@TechReport{Dowek-Hardin-Kirchner98,
  author =       {Gilles Dowek and Th{\'e}r{\`e}se Hardin and Claude
                  Kirchner},
  title =        {Theorem Proving Modulo},
  number =       {RR-3400},
  institution =  {INRIA, Institut National de Recherche en Informatique et
                  en Automatique},
  year =         1998,
  month =        apr,
  note =         {\url{ftp://ftp.inria.fr/INRIA/publication/RR/RR-3400.ps.gz}}
}

@Article{Dowek-Hardin-Kirchner00,
  author =       {Gilles Dowek and Th{\'e}r{\`e}se Hardin and Claude
                  Kirchner},
  title =        {Higher Order Unification via Explicit Substitutions},
  journal =      infcomp,
  year =         2000,
  volume =       157,
  number =       {1/2},
  pages =        {183--235}
}

@Article{Dowek-Hardin-Kirchner01,
  author =       {Gilles Dowek and Th{\'e}r{\`e}se Hardin and Claude
                  Kirchner},
  title =        {{HOL}-$\lambda\sigma$: {A}n Intentional First-Order
                  Expression of Higher-Order Logic},
  journal =      mscs,
  year =         2001,
  volume =       11,
  number =       1,
  pages =        {21-45}
}

@InProceedings{Dubois-Kirchner98,
  author =       {Hubert Dubois and H{\'e}l{\`e}ne Kirchner},
  title =        {Actions and Plans in {ELAN}},
  editor =       {B. Gramlich and F. Pfenning},
  booktitle =    {Proceedings of the {CADE}-15 Workshop on Strategies in 
                  Automated Deduction},
  address =      {Lindau, Germany},
  month =        jul,
  year =         1998,
  pages =        {35-45},
  note =         {Also Technical Report LORIA 98-R-275}
}

@TechReport{Dubois-Kirchner99-tr,
  author =       {Hubert Dubois and H{\'e}l{\`e}ne Kirchner},
  title =        {Modelling Planning Problems with Rules and Strategies},
  number =       {99-R-029},
  institution =  {LORIA, Nancy, France},
  month =        mar,
  year =         1999,
  note =         {Poster Session at JFPLC'99, Lyon, France, June 1999}
}

@InProceedings{Dubois-Kirchner99,
  author =       {Hubert Dubois and H{\'e}l{\`e}ne Kirchner},
  title =        {Objects, Rules, and Strategies in {ELAN}},
  booktitle =    {Proceedings of the Second AMAST Workshop on Algebraic
                  Methods in Language Processing},
  address =      {Iowa City, Iowa, USA},
  year =         1999
}

@InProceedings{Dubois-Kirchner00,
  author =       {Hubert Dubois and H{\'e}l{\`e}ne Kirchner},
  title =        {Rule Based Programming with Constraints and Strategies},
  booktitle =    {New Trends in Constraints, Joint ERCIM/Compulog Net 
                  Workshop, Paphos, Cyprus, October 25-27, 1999,
                  Selected Papers},
  editor =       {K. R. Apt and A. Kakas and E. Monfroy and F. Rossi},
  publisher =    sv,
  series =       lnai,
  volume =       1865,
  pages =        {274-297},
  year =         2000
}

@PhdThesis{Duran99-thesis,
  author =       {Francisco Dur{\'a}n},
  title =        {A Reflective Module Algebra with Applications to the
                  {Maude} Language},
  year =         1999,
  month =        jun,
  school =       {Universidad de M\'alaga, Spain},
  note =         {\url{http://maude.csl.sri.com/papers}}  
}

@InProceedings{Duran00,
  author =       {Francisco Dur{\'a}n},
  title =        {The extensibility of {Maude}'s module algebra},
  editor =       {T. Rus},
  booktitle =    amast2000,
  volume =       1816,
  publisher =    sv,
  series =       lncs,
  pages =        {422-437},
  year =         2000
}

@Unpublished{Duran00-tckbct,
  author =       {Francisco Dur{\'a}n},
  title =        {Termination checker and {K}nuth-{B}endix completion tools
                  for {Maude} equational specifications},
  year =         2000,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, \url{http://maude.csl.sri.com/papers}}
}

@Unpublished{Duran00-ccct,
  author =       {Francisco Dur{\'a}n},
  title =        {Coherence checker and completion tools for {Maude}
                  specifications},
  year =         2000,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, \url{http://maude.csl.sri.com/papers}}
}

@InProceedings{DELM00,
  author =       {Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln
                  and Jos{\'e} Meseguer},
  title =        {Principles of {Mobile} {Maude}},
  booktitle =    asama2000,
  editor =       {D. Kotz and F. Mattern},
  publisher =    sv,
  series =       lncs,
  volume =       1882,
  pages =        {73-85},
  year =         2000
}

@InProceedings{Duran-Meseguer98,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {An Extensible Module Algebra for {Maude}},
  pages =        {185-206},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Duran-Meseguer99,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {Structured Theories and Institutions},
  editor =       {M. Hofmann and G. Rosolini and D. Pavlovi\'c},
  booktitle =    {Proceedings of 8th Conference on Category Theory and
                  Computer Science, Edinburgh, Scotland, September 1999},
  publisher =    {Elsevier},
  series =       entcs,
  volume =       29,
  pages =        {71-90},
  year =         1999,
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume29.html}}
}

@Unpublished{Duran-Meseguer99-fm,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {The {Maude} Specification of {Full Maude}},
  month =        feb,
  year =         1999,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, \url{http://maude.csl.sri.com/papers}}
}

@InProceedings{Duran-Meseguer00,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {Parameterized Theories and Views in {Full Maude} 2.0},
  pages =        {319-337},
  crossref =     {Futatsugi00-wrla}
}

@Unpublished{Duran-Meseguer00-tr,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {A {C}hurch-{R}osser checker tool for {M}aude equational
                  specifications},
  year =         2000,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, \url{http://maude.csl.sri.com/papers}}
}

@Unpublished{Duran-Meseguer00-long,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {Structured Theories and Institutions},
  year =         2000,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, submitted for publication}
}

@Article{Duran-Meseguer01,
  author =       {Francisco Dur{\'a}n and Jos{\'e} Meseguer},
  title =        {{M}aude's Module Algebra},
  year =         2001,
  journal =      tcs,
  note =         {To appear. \url{http://maude.csl.sri.com/papers}}
}

@InProceedings{Duran-Vallecillo01,
  author =       {Francisco Dur{\'a}n and Antonio Vallecillo},
  title =        {Writing {ODP} Enterprise Specifications in {Maude}},
  booktitle =    {Proceedings Workshop On Open Distributed Processing:
                  Enterprise, Computation, Knowledge, Engineering and
                  Realisation, {WOODPECKER 2001}},
  address =      {Set\'ubal, Portugal},
  month =        jul,
  year =         2001,
  note =  {\url{http://www.lcc.uma.es/~av/Publicaciones/01/ITI-2001-8.pdf}}
}

@InProceedings{Eker96,
  author =       {Steven Eker},
  title =        {Fast matching in combination of regular equational
                  theories},
  pages =        {90-108},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Eker98,
  author =       {Steven Eker},
  title =        {Term rewriting with operator evaluation strategy},
  pages =        {45-62},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Fernandez-Toval00,
  author =       {Jos{\'e} Luis Fern{\'a}ndez and Ambrosio Toval},
  title =        {Can Intuition Become Rigorous? {F}oundations for {UML} 
                  Model Verification Tools},
  booktitle =    {International Symposium on Software Reliability
                  Engineering},
  editor =       {F. M. Titsworth},
  month =        oct # { 8--11,},
  year =         2000,
  address =      {San Jose, California},
  publisher =    {IEEE Press},
  pages =        {344-355}
}

@InProceedings{Fernandez-Toval01,
  author =       {Jos{\'e} Luis Fern{\'a}ndez and Ambrosio Toval},
  title =        {Seamless Formalizing the {UML} Semantics through
                  Metamodels},
  booktitle =    {Unified Modeling Language: Systems Analysis, Design, and
                  Development Issues},
  editor =       {K. Siau and T. Halpin},
  publisher =    {Idea Group Publishing},
  year =         2001,
  pages =        {224-248}
}

@InProceedings{Ferrari-Montanari97,
  author =       {Gianluigi Ferrari and Ugo Montanari},
  title =        {A Tile-Based Coordination View of Asynchronous
                  Pi-Calculus},
  editor =       {I. Privara and P. Ruzicka},
  booktitle =    {Mathematical Foundations of Computer Science 1997, 22nd
                  International Symposium, MFCS'97, Bratislava, Slovakia,
                  August 25--29, 1997, Proceedings},
  year =         1997,
  publisher =    sv,
  series =       lncs,
  volume =       1295,
  pages =        {52-70}
}

@InProceedings{FerrariMontanari97-express,
  author =       {Gianluigi Ferrari and Ugo Montanari},
  title =        {Tiles for Concurrent and Located Calculi},
  editor =       {C. Palamidessi and J. Parrow},
  booktitle =    {Proceedings EXPRESS'97},
  series =       entcs,
  publisher =    {Elsevier},
  volume =       7,
  year =         1997,
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume7.html}}
}

@Article{Ferrari-Montanari00,
  author =       {Gianluigi Ferrari and Ugo Montanari}, 
  title =        {Tile Formats for Located and Mobile Systems},
  journal =      infcomp,
  volume =       156,
  number =       {1/2},
  pages =        {173-235},
  year =         2000
}

@InProceedings{FMMMP00,
  author =       {Jos{\'e} Luiz Fiadeiro and Tom Maibaum and Narciso 
                  Mart{\'\i}-Oliet and Jos{\'e} Meseguer and Isabel Pita},
  title =        {Towards a Verification Logic for Rewriting Logic},
  booktitle =    wadt99,
  editor =       {D. Bert and C. Choppy and P. Mosses},
  publisher =    sv,
  series =       lncs,
  volume =       1827,
  pages =        {438-458},
  year =         2000
}

@TechReport{Fischer-Rosu01,
  author =       {Bernd Fischer and Grigore Ro{\c{s}}u},
  title =        {Interpreting Abstract Interpretations in Membership 
                  Equational Logic},
  institution =  {Research Institute for Advanced Computer Science},
  number =       {{RIACS 01.16}},
  year =         2001,
  month =        may
}

@Proceedings{Futatsugi98-cafeobj,
  editor =       {Kokichi Futatsugi},
  booktitle =    {Proceedings of the {CafeOBJ} Symposium '98, Numazu, Japan},
  title =        {Proceedings of the {CafeOBJ} Symposium '98, Numazu, Japan},
  publisher =    {{CafeOBJ} Project},
  year =         1998, 
  month =        apr
}

@Proceedings{Futatsugi00-wrla,
  title =        WRLA2000ProcTitle,
  booktitle =    WRLA2000ProcTitle,
  year =         2000,
  editor =       {Kokichi Futatsugi},
  volume =       36,
  publisher =    {Elsevier},
  series =       entcs,
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume36.html}} 
}

@Proceedings{Futatsugi-Goguen-Meseguer99-fm,
  editor =       {Kokichi Futatsugi and Joseph A. Goguen and 
                  Jos{\'e} Meseguer},
  booktitle =    {{OBJ/CafeOBJ/Maude} Workshop at Formal Methods '99: 
                  Formal Specification, Proof, and Applications},
  title =        {{OBJ/CafeOBJ/Maude} Workshop at Formal Methods '99: 
                  Formal Specification, Proof, and Applications},
  year =         1999,
  publisher =    {Theta}
}

@InProceedings{Futatsugi-Nakagawa96,
  author =       {Kokichi Futatsugi and Ataru T. Nakagawa},
  title =        {An Overview of {CAFE} Specification Environment --- 
                  {A}n Algebraic Approach for Creating, Verifying, and 
	          Maintaining Formal Specifications over Networks},
  booktitle =    {First International Conference on Formal Engineering 
                  Methods},
  address =      {Hiroshima, Japan},
  year =         1997,
  month =        nov,
  note =         {\url{http://ldl-www.jaist.ac.jp/cafeobj/documents.html}}
}

@Proceedings{Futatsugi-Nakagawa-Tamai00,
  editor =       {Kokichi Futatsugi and Ataru T. Nakagawa and 
                  Tetsuo Tamai},
  title =        {{Cafe}: An Industrial-Strength Algebraic Formal Method},
  booktitle =    {{Cafe}: An Industrial-Strength Algebraic Formal Method},
  publisher =    {Elsevier},
  year =         2000
}

@InProceedings{Futatsugi-Sawada94,
  author =       {Kokichi Futatsugi and Toshimi Sawada},
  title =        {{Cafe} as an extensible specification environment},
  booktitle =    {Proceedings of the Kunming International CASE Symposium,
                  Kunming, China},
  year =         1994,
  month =        nov
}

@PhdThesis{Gadducci96-thesis,
  author =       {Fabio Gadducci},
  title =        {On the Algebraic Approach to Concurrent Term Rewriting},
  school =       {Dipartimento di Informatica, Universit\`a di Pisa},
  month =        mar,
  year =         1996,
  note =         {Technical Report TD-2/96}
}

@InProceedings{Gadducci-Montanari95,
  author =       {Fabio Gadducci and Ugo Montanari},
  title =        {Enriched Categories as Models of Computation},
  booktitle =    {Proceedings 5th Italian Conference on Theoretical Computer
                  Science, Ravello},
  editor =       {A. De Santis},
  pages =        {20-42},
  publisher =    {World Scientific},
  year =         1995
}

@InProceedings{Gadducci-Montanari96,
  author =       {Fabio Gadducci and Ugo Montanari},
  title =        {Tiles, Rewriting Rules, and {CCS}},
  pages =        {1-19},
  crossref =     {Meseguer96-wrla}
}

@InCollection{Gaducci-Montanari00,
  author =       {Fabio Gadducci and Ugo Montanari},
  title =        {The Tile Model},
  booktitle =    {Proof, Language and Interaction: Essays in Honour of
                  Robin Milner},
  year =         2000,
  editor =       {G. Plotkin and C. Stirling and M. Tofte},
  publisher =    mit,
  note =         {\url{http://www.di.unipi.it/~ugo/festschrift.ps}}
}

@Article{Gaducci-Montanari01,
  author =       {Fabio Gadducci and Ugo Montanari},
  title =        {Comparing Logics for Rewriting: Rewriting Logic, Action
                  Calculi and Tile Logic},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@PhdThesis{Genet98-thesis,
  author =       {Thomas Genet},
  title =        {Contraintes d'Ordre et Automates d'Arbres pour les
                  Preuves de Terminaison},
  school =       {Universit\'e Henri Poincar\'e -- Nancy I},
  year =         1998
}

@InProceedings{Genet98,
  author =       {Thomas Genet},
  title =        {Decidable Approximations of Sets of Descendants and Sets
                  of Normal Forms},
  booktitle =    rta9,
  pages =        {151-165},
  year =         1998,
  editor =       {T. Nipkow},
  volume =       1379,
  series =       lncs,
  publisher =    sv
}

@InProceedings{Giunchiglia98,
  author =       {Fausto Giunchiglia},
  title =        {The {OMRS} project: State of the art and future
                  developments},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Goguen-Lin-Rosu00,
  author =       {Joseph A. Goguen and Kai Lin and Grigore Ro\c{s}u},
  title =        {Behavioral and Coinductive Rewriting},
  pages =        {1-22},
  crossref =     {Futatsugi00-wrla}
}

@Article{GHLR99,
  author =       {Juan Carlos Gonz{\'a}lez-Moreno and M. Teresa 
                  Hortal{\'a}-Gonz{\'a}lez and Francisco J. L{\'o}pez-Fraguas 
                  and Mario Rodr{\'\i}guez-Artalejo},
  title =        {An Approach to Declarative Programming Based on a
                  Rewriting Logic},
  journal =      jlp,
  year =         1999,
  volume =       40,
  pages =        {47-87}
}

@TechReport{Harman00a,
  author =       {Neal A. Harman},
  title =        {Correctness and Verification of Hardware Systems Using 
                  {Maude}},
  institution =  {Department of Computer Science, University of 
                  Wales Swansea},
  number =       {3-2000},
  year =         2000,
  note =   {\url{http://www-compsci.swan.ac.uk/reports/yr2000/CSR3-2000.pdf}}
}

@TechReport{Harman00b,
  author =       {Neal A. Harman},
  title =        {Verifying a Simple Pipelined Microprocessor Using {Maude}},
  institution =  {Department of Computer Science, University of 
                  Wales Swansea},
  number =       {4-2000},
  year =         2000,
  note =   {\url{http://www-compsci.swan.ac.uk/reports/yr2000/CSR4-2000.pdf}}
}

@InProceedings{Harman01,
  author =       {Neal A. Harman},
  title =        {Verifying a Microprocessor Using {Maude}},		  
  booktitle = 	 {Proceedings WADT/CoFI'01, 15th International Workshop on 
                  Algebraic Development Techniques and General Workshop of 
                  the CoFI WG},
  address =      {Genova, Italy},
  month =        apr # { 1--3,},
  editor =       {M. Cerioli and P. D. Mosses and G. Reggio},
  year =         2001
}

@TechReport{Havelund-Rosu01a,
  author =       {Klaus Havelund and Grigore Ro{\c{s}}u},
  title =        {Testing Linear Temporal Logic Formulae on Finite 
                  Execution Traces},
  institution =  {Research Institute for Advanced Computer Science},
  number =       {{RIACS 01.08}},
  year =         2001,
  month =        may
}

@InProceedings{Havelund-Rosu01b,
  author =       {Klaus Havelund and Grigore Ro{\c{s}}u},
  title =        {Java {PathExplorer} --- {A} Runtime Verification Tool},
  booktitle =    {Proceedings 6th International Symposium on Artificial 
                  Intelligence, Robotics and Automation in Space, 
                  {ISAIRAS'01}},
  address =      {Montreal, Canada},
  month =        jun # { 18--22,},
  year =         2001
}

@InProceedings{Havelund-Rosu01c,
  author =       {Klaus Havelund and Grigore Ro{\c{s}}u},
  title =        {Monitoring {Java} Programs with {Java PathExplorer}},
  booktitle =    {Proceedings First Workshop on Runtime Verification, 
                  RV'01, Paris, France, July 23, 2001},
  year =         2001,
  publisher =    {Elsevier},
  volume =       {55 (2)},
  series =       entcs,
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume55.html}}
}

@TechReport{Havelund-Rosu01d,
  author =       {Klaus Havelund and Grigore Ro{\c{s}}u},
  title =        {Monitoring Programs using Rewriting},
  institution =  {Research Institute for Advanced Computer Science},
  year =         2001
}

@InProceedings{Hilberdink00,
  author =       {Hendrik Hilberdink},
  title =        {Foundations for Rewriting Logic},
  pages =        {43-69},
  crossref =     {Futatsugi00-wrla}
}

@TechReport{IMDFL98,
  author =       {Shusaku Iida and Michihiro Matsumoto and R{\u{a}}zvan 
                  Diaconescu and Kokichi Futatsugi and Dorel Lucanu},
  title =        {Concurrent Object Composition in {CafeOBJ}},
  number =       {{JAIST IS-RR-98-0009S}},
  institution =  {Japan Advanced Institute of Science and Technology},
  year =         1998,
  note =         {\url{http://ldl-www.jaist.ac.jp/cafeobj/documents.html}}
}

@InProceedings{Ishikawa-Futatsugi-Watanabe99,
  author =       {Hiroshi Ishikawa and Kokichi Futatsugi and Takuo Watanabe},
  title =        {An Operational Semantics of {GAEA} in {CafeOBJ}},
  crossref =     {Futatsugi-Goguen-Meseguer99-fm},
  pages =        {213-227} 
}

@InProceedings{IMWFN97,
  author =       {Hiroshi Ishikawa and Jos{\'e} Meseguer and Takuo Watanabe
                  and Kokichi Futatsugi and Hideyuki Nakashima},
  title =        {On the semantics of {GAEA} --- {A}n object-oriented
                  specification of a concurrent reflective language in
                  rewriting logic},
  booktitle =    {Proceedings {IMSA}'97},
  year =         1997,
  pages =        {70-109},
  publisher =    {Information-Technology Promotion Agency, Japan}
}

@InProceedings{Ishisone-Sawada98,
  author =       {Makoto Ishisone and Toshimi Sawada},
  title =        {{Brute}: Brute force rewriting engine},
  crossref =     {Futatsugi98-cafeobj}
}

@InProceedings{Jouannaud98,
  author =       {Jean-Pierre Jouannaud},
  title =        {Membership Equational Logic, Calculus of Inductive
                  Constructions, and Rewrite Logic},
  pages =        {89-94},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@Proceedings{Kirchner-Kirchner98-wrla,
  editor =       {Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
  title =        WRLA1998ProcTitle,
  booktitle =    WRLA1998ProcTitle,
  year =         1998,
  publisher =    {Elsevier},
  volume =       15,
  series =       entcs,
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume15.html}}
}

@InProceedings{Kirchner-Kirchner-Vittek93,
  author =       {Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Marian
                  Vittek},
  title =        {Implementing Computational Systems with Constraints},
  year =         1993,
  editor =       {P. Kanellakis and J.-L. Lassez and V. Saraswat},
  booktitle =    {Proceedings First Workshop on Principles and Practice of
                  Constraint Programming},
  address =      {Brown University, Providence, RI, USA},
  pages =        {166-175}
}

@InProceedings{Kirchner-Kirchner-Vittek95,
  author =       {Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Marian
                  Vittek},
  title =        {Designing Constraint Logic Programming Languages Using
                  Computational Systems},
  booktitle =    {Principles and Practice of Constraint Programming: The
                  Newport Papers},
  year =         1995,
  pages =        {133-160},
  editor =       {V. Saraswat and P. van Hentenryck},
  publisher =    mit,
  chapter =      8
}

@Article{Kirchner-Ringeissen98,
  author =       {Claude Kirchner and Christophe Ringeissen},
  title =        {Rule-Based Constraint Programming},
  journal =      {Fundamenta Informaticae},
  year =         1998,
  volume =       34,
  number =       3,
  pages =        {225-262},
  month =        sep
}

@InProceedings{Kirchner95,
  author =       {H{\'e}l{\`e}ne Kirchner},
  title =        {Some Extensions of Rewriting},
  booktitle =    {Term Rewriting, French Spring School of Theoretical
                  Computer Science, Font Romeaux, France, May 17--21, 
		  1993, Advanced Course},
  editor =       {H. Comon and J.-P. Jouannaud},
  publisher =    sv,
  series =       lncs,
  volume =       909,
  pages =        {54-73},
  year =         1995
}

@InProceedings{Kirchner95-cp,
  author =       {H{\'e}l{\`e}ne Kirchner},
  title =        {On the Use of Constraints in Automated Deduction},
  booktitle =    {Constraint Programming: Basics and Trends, 1994 Chatillon
                  Spring School, Chatillon-sur-Seine, France, May 16--20,
                  1994, Selected Papers},
  editor =       {A. Podelski},
  publisher =    sv,
  series =       lncs,
  volume =       910,
  pages =        {128-146},
  year =         1995
}

@InCollection{Kirchner99,
  author =       {H{\'e}l{\`e}ne Kirchner},
  title =        {Term Rewriting},
  booktitle =    {Algebraic Foundations of Systems Specification},
  editor =       {E. Astesiano and H.-J. Kreowski and B. Krieg-Br{\"u}ckner},
  publisher =    sv,
  series =       {{IFIP} State-of-the-Art Reports},
  pages =        {273-320},
  year =         1999
}

@InProceedings{Kirchner99-elan,
  author =       {H{\'e}l{\`e}ne Kirchner},
  title =        {{ELAN}},
  editor =       {F. Fages},
  booktitle =    {{JFPLC'99}, Journ{\'e}es Francophones de Programmation
                  Logique et Programmation par Constraintes},
  address =      {Lyon, France},
  publisher =    {{HERMES} Science Publications},
  pages =        {241-248},
  month =        may,
  year =         1999,
  note =         {Also Technical Report 99-R-129, LORIA, Nancy, France}
}

@InProceedings{Kirchner-Gnaedig00,
  author =       {H{\'e}l{\`e}ne Kirchner and Isabelle Gnaedig},
  title =        {Termination and normalisation under 
                  strategy --- {P}roofs in {ELAN}},
  pages =        {93-115},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Kirchner-Moreau95,
  author =       {H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau},
  title =        {Prototyping completion with constraints using
                  computational systems},
  pages =        {438-443},
  isbn =         {3-540-59200-8},
  editor =       {J. Hsiang},
  booktitle =    rta6,
  series =       lncs,
  volume =       914,
  publisher =    sv,
  year =         1995
}

@InProceedings{Kirchner-Moreau96,
  author =       {H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau},
  title =        {A reflective extension of {ELAN}},
  pages =        {148-167},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Kirchner-Moreau99,
  author =       {H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau},
  title =        {Non-deterministic Computations in {ELAN}},
  booktitle =    wadt98,
  editor =       {J. L. Fiadeiro},
  publisher =    sv,
  series =       lncs,
  volume =       1589,
  pages =        {168-182},
  year =         1999
}

@Article{Kirchner-Moreau01,
  author =       {H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau},
  title =        {Promoting Rewriting to a Programming Language: 
                  A Compiler for Non-Deterministic Rewrite Programs 
                  in Associative-Commutative Theories},
  journal =      jfp,
  volume =       11,
  number =       2,
  pages =        {207-251},
  year =         2001
}

@InProceedings{Kirchner-Ringeissen94,
  author =       {H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen},
  title =        {Constraint Solving by Narrowing in Combined Algebraic
                  Domains},
  editor =       {P. van Hentenryck},
  booktitle =    {Proceedings of 11th International Conference on Logic
                  Programming},
  pages =        {617-631},
  address =      {Santa Margherita Ligure, Italy},
  year =         1994,
  publisher =    mit
}

@Article{Kirchner-Ringeissen94-jsc,
  author =       {H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen},
  title =        {Combining Symbolic Constraint Solvers on Algebraic
                  Domains},
  journal =      jsc,
  volume =       18,
  number =       2,
  pages =        {113-155},
  year =         1994
}

@TechReport{Kirchner-Ringeissen99,
  author =       {H{\'e}l{\`e}ne Kirchner and Christophe Ringeissen},
  title =        {Executing {CASL} Equational Specifications with the
                  {ELAN} Rewrite Engine},
  number =       {99-R-278},
  institution =  {LORIA, Nancy, France},
  year =         1999
}

@InProceedings{Kirchner-Vigneron94,
  author =       {H{\'e}l{\`e}ne Kirchner and Laurent Vigneron},
  title =        {Deduction with Constraints for Theory Reasoning:
                  Completeness and Simplification Problems},
  booktitle =    {Proceedings of CADE-12 Workshop: Theory Reasoning in
                  Automated Deduction},
  address =      {Nancy, France},
  year =         1994
}

@InProceedings{Knapp98,
  author =       {Alexander Knapp},
  title =        {Case Studies with {CafeOBJ}},
  crossref =     {Futatsugi98-cafeobj}
}

@InCollection{Knapp00,
  author =       {Alexander Knapp},
  title =        {Generating Rewrite Theories from {UML} Collaborations},
  crossref =     {Futatsugi-Nakagawa-Tamai00},  
  pages =        {97-120}
}

@Book{Knapp00-thesis,
  author =       {Alexander Knapp},
  title =        {A Formal Approach to Object-Oriented Software
                  Engineering},
  publisher =    {Shaker Verlag},
  address =      {Aachen, Germany},
  year =         2001,
  note =         {PhD thesis, Institut f\"ur Informatik, 
                  Universit\"at M\"unchen, 2000.}
}

@InProceedings{Kosiuczenko-Wirsing95,
  title =        {Timed Rewriting Logic for the Specification of
                  Time-Sensitive Systems},
  author =       {Piotr Kosiuczenko and Martin Wirsing},
  booktitle =    {Logic of Computation, Proceedings of the NATO Advanced
                  Study Institute on Logic of Computation, Held in
                  Marktoberdorf, Germany, July 25 -- August 6, 1997},
  publisher =    sv,
  editor =       {H. Schwichtenberg},
  volume =       157,
  series =       {{NATO ASI} Series {F}: Computer and Systems Sciences},
  year =         1997,
  pages =        {229-264}
}

@Article{Kosiuczenko-Wirsing97,
  author =       {Piotr Kosiuczenko and Martin Wirsing},
  title =        {Timed rewriting logic with an application to object-based
                  specification},
  journal =      scp,
  volume =       28,
  number =       {2--3},
  pages =        {225-246},
  month =        apr,
  year =         1997
}

@InProceedings{Kulas-Beirle00,
  author =       {Marija Kula\u{s} and Christoph Beirle},
  title =        {Defining {Standard Prolog} in Rewriting Logic},
  pages =        {155-171},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Kuruma-Futatsugi99,
  author =       {Hironobu Kuruma and Kokichi Futatsugi},
  title =        {Incremental Specification Based on the
                  Combination of Data Types},
  crossref =     {Futatsugi-Goguen-Meseguer99-fm},
  pages =        {95-114} 
}

@InProceedings{Landauer96,
  author =       {Christopher Landauer},
  title =        {Discrete event systems in rewriting logic},
  pages =        {309-320},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Laneve-Montanari92,
  author =       {Cosimo Laneve and Ugo Montanari},
  title =        {Axiomatizing Permutation Equivalence in the
                  $\lambda$-Calculus},
  booktitle =    alp3,
  year =         1992,
  editor =       {H. Kirchner and G. Levi},
  pages =        {350-363},
  publisher =    sv,
  volume =       632,
  series =       lncs
}

@Article{Laneve-Montanari94,
  author =       {Cosimo Laneve and Ugo Montanari},
  title =        {Axiomatizing Permutation Equivalence},
  journal =      mscs,
  year =         1996,
  month =        jun,
  volume =       6,
  number =       3,
  pages =        {219-249}
}

@InProceedings{Lechner96,
  author =       {Ulrike Lechner},
  title =        {Object-oriented specifications of distributed systems in
                  the $\mu$-calculus and {Maude}},
  pages =        {384-403},
  crossref =     {Meseguer96-wrla}
}

@PhdThesis{Lechner97-thesis,
  author =       {Ulrike Lechner},
  title =        {Object-Oriented Specification of Distributed Systems},
  school =       {Fakult\"at f\"ur Mathematik und
                  Informatik, Universit\"at Passau},
  year =         1997,
  month =        jun
}

@InProceedings{Lechner98,
  author =       {Ulrike Lechner},
  title =        {Constructs, Concepts, and Criteria for Reuse in Concurrent
                  Object-Oriented Languages},
  pages =        {171-187},
  editor =       {E. Astesiano},
  booktitle =    {Fundamental Approaches to Software Engineering, First 
                  International Conference, {FASE'98}, Held as Part of 
		  {ETAPS'98}, Lisbon, Portugal, March 28 -- April 4, 1998,
                  Proceedings},
  year =         1998,
  publisher =    sv,
  volume =       15,
  series =       lncs
}

@InProceedings{Lechner98-wrla,
  author =       {Ulrike Lechner},
  title =        {Object-Oriented Specification of Distributed Systems},
  pages =        {405-414},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InCollection{Lechner-Lengauer96,
  author =       {Ulrike Lechner and Christian Lengauer},
  title =        {Modal $\mu$-{Maude} --- {P}roperties and specification of
                  concurrent objects},
  booktitle =    {Object Orientation with Parallelism and Persistence},
  editor =       {B. Freitag and C. B. Jones and C. Lengauer and
                  H.-J. Schek},
  publisher =    kluwer,
  pages =        {41-62},
  year =         1996
}

@InProceedings{LLNW96,
  author =       {Ulrike Lechner and Christian Lengauer and 
                  Friederike Nickl and Martin Wirsing},
  title =        {({O}bjects + Concurrency) \& Reusability --- {A} Proposal
                  to Circumvent the Inheritance Anomaly},
  booktitle =    {{ECOOP'96} - Object-Oriented Programming, 10th European
                  Conference, Linz, Austria, July 8--12, 1996, Proceedings},
  editor =       {P. Cointe},
  publisher =    sv,
  series =       lncs,
  volume =       1098,
  pages =        {232-247},
  year =         1996
}

@InProceedings{Lechner-Lengauer-Wirsing96,
  author =       {Ulrike Lechner and Christian Lengauer and 
                  Martin Wirsing},
  title =        {An Object-Oriented Airport},
  booktitle =    {Recent Trends in Data Type Specification, 10th Workshop
                  on Specification of Abstract Data Types Joint with the
                  5th {COMPASS} Workshop, S. Margherita, Italy, May 30 --
                  June 3, 1994, Selected Papers},
  editor =       {E. Astesiano and G. Reggio and A. Tarlecki},
  year =         1995,
  pages =        {351-367},
  publisher =    sv,
  series =       lncs,
  volume =       906
}

@InProceedings{Leucker-Noll00,
  author =       {Martin Leucker and Thomas Noll},
  title =        {Rewriting Logic as a Framework for Generic Verification
                  Tools},
  pages =        {117-133},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Lincoln-Marti-Oliet-Meseguer94,
  author =       {Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos{\'e}
                  Meseguer},
  title =        {Specification, transformation, and programming of
                  concurrent systems in rewriting logic},
  editor =       {G. E. Blelloch and K. M. Chandy and S. Jagannathan},
  booktitle =    {Specification of Parallel Algorithms, DIMACS 
                  Workshop, May 9--11, 1994},
  pages =        {309-339},
  series =       {DIMACS Series in Discrete Mathematics and 
                  Theoretical Computer Science},
  volume =       18,
  publisher =    {American Mathematical Society},
  year =         1994
}

@InProceedings{LMMR94,
  author =       {Patrick Lincoln and Narciso Mart{\'\i}-Oliet and Jos\'{e}
                  Meseguer and Livio Ricciulli},
  title =        {Compiling rewriting onto {SIMD} and {MIMD/SIMD} machines},
  booktitle =    {PARLE'94 Parallel Architectures and Languages Europe,
                  6th International PARLE Conference, Athens, Greece, July
                  4--8, 1994, Proceedings},
  editor =       {C. Halatsis and D. Maritsas and G. Philokyprou and S.
                  Theodoridis},                 
  year =         1994,
  pages =        {37-48},
  publisher =    sv,
  series =       lncs,
  volume =       817
}

@InProceedings{Lincoln-Meseguer98,
  author =       {Patrick Lincoln and Jos{\'e} Meseguer},
  title =        {Strategic Reflection},
  booktitle =    {Proceedings of the CADE-15 Workshop on Strategies in
                  Automated Deduction},
  editor =       {B. Gramlich and F. Pfenning},
  address =      {Lindau, Germany},
  month =        jul,
  year =         1998,
  pages =        {3-9}
}

@TechReport{Lowry-Pressburger-Rosu01,
  author =       {Michael Lowry and Thomas Pressburger and
                  Grigore Ro{\c{s}}u},
  title =        {Certifying Domain-Specific Policies},
  institution =  {Research Institute for Advanced Computer Science},
  year =         2001
}

@InProceedings{Lucanu99,
  author =       {Dorel Lucanu},
  title =        {Algebraic Specification of Object Aggregation
                  --- {A}n Event Oriented Approach},
  crossref =     {Futatsugi-Goguen-Meseguer99-fm},
  pages =        {115-132} 
}

@Unpublished{Lucanu00,
  author =       {Dorel Lucanu},
  title =        {Relaxed Models for Rewriting Logic},
  month =        jul,
  year =         2000,
  note =         {Manuscript, submitted for publication}
}

@TechReport{Marti-Oliet-Meseguer93,
  author =       {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
  title =        {Rewriting Logic as a Logical and Semantic Framework},
  institution =  {SRI International, Computer Science Laboratory},
  number =       {SRI-CSL-93-05},
  year =         1993,
  month =        aug,
  note =         {To appear in D. Gabbay, editor, {\em Handbook of
                  Philosophical Logic, Second Edition, Volume 6}, 
		  Kluwer Academic Publishers, 2001.  
		  \url{http://maude.csl.sri.com/papers}}
}

@InCollection{Marti-Oliet-Meseguer94,
  author =       {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
  title =        {General Logics and Logical Frameworks},
  editor =       {D. M. Gabbay},
  booktitle =    {What is a Logical System?},
  year =         1994,
  pages =        {355-392},
  publisher =    {Oxford University Press},
  volume =       4,
  series =       {Studies in Logic and Computation}
}

@InProceedings{Marti-Oliet-Meseguer96,
  author =       {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
  title =        {Rewriting logic as a logical and semantic framework},
  pages =        {189-224},
  crossref =     {Meseguer96-wrla}
}

@InCollection{Marti-Oliet-Meseguer99,
  author =       {Narciso Mart{\'\i}-Oliet and Jos{\'e} Meseguer},
  title =        {Action and Change in Rewriting Logic},
  booktitle =    {Dynamic Worlds: From the Frame Problem to Knowledge
                  Management},
  editor =       {R. Pareschi and B. Fronh{\"o}fer},
  year =         1999,
  publisher =    kluwer,
  volume =       12,
  series =       {Applied Logic Series},
  pages =        {1-53}
}

@InProceedings{Mason-Talcott97,
  author =       {Ian A. Mason and Carolyn L. Talcott},
  title =        {A Semantics Preserving Actor Translation},
  booktitle =    {Automata, Languages and Programming, 24th International
                  Colloquium, ICALP'97, Bologna, Italy, July 1997,
                  Proceedings},
  editor =       {P. Degano and R. Gorrieri and 
                  A. Marchetti-Spaccamela},
  publisher =    sv,
  series =       lncs,
  volume =       1256,
  pages =        {369-378},
  year =         1997
}

@InProceedings{Mason-Talcott00,
  author =       {Ian A. Mason and Carolyn L. Talcott},
  title =        {Simple Network Protocol Simulation within {Maude}},
  pages =        {277-294},
  crossref =     {Futatsugi00-wrla}
}

@TechReport{Meseguer90-tr,
  author =       {Jos{\'e} Meseguer},
  title =        {Rewriting as a Unified Model of Concurrency},
  year =         1990,
  month =        feb,
  number =       {SRI-CSL-90-02R},
  institution =  {SRI International, Computer Science Laboratory},
  note =         {Revised June 1990. Appendices on functorial 
                  semantics have not been published elsewhere}
}

@InProceedings{Meseguer90-ctrs,
  title =        {Conditional Rewriting Logic: Deduction, Models and
                  Concurrency},
  author =       {Jos{\'e} Meseguer},
  editor =       {S. Kaplan and M. Okada},
  booktitle =    {Conditional and Typed Rewriting Systems, 2nd
                  International CTRS Workshop, Montreal, Canada, June
                  11--14, 1990, Proceedings},
  publisher =    sv,
  series =       lncs,
  volume =       516,
  pages =        {64-91},
  year =         1991
}

@InProceedings{Meseguer90-oopsla,
  author =       {Jos\'{e} Meseguer},
  title =        {A Logical Theory of Concurrent Objects},
  booktitle =    {Proceedings {ECOOP-OOPSLA'90} Conference on Object-Oriented
                  Programming, Ottawa, Canada, October 1990},
  editor =       {N. Meyrowitz},
  pages =        {101-115},
  year =         1990,
  publisher =    acmpress
}

@InProceedings{Meseguer90-concur,
  author =       {Jos\'{e} Meseguer},
  title =        {Rewriting as a Unified Model of Concurrency},
  booktitle =    {{CONCUR'90}, Theories of Concurrency: Unification and
                  Extension, Amsterdam, The Netherlands, August 1990,
                  Proceedings},
  editor =       {J. C. M. Baeten and J. W. Klop},
  year =         1990,
  pages =        {384-400},
  publisher =    sv,
  series =       lncs,
  volume =       458
}

@InProceedings{Meseguer92-alp,
  author =       {Jos{\'e} Meseguer},
  title =        {Multiparadigm Logic Programming},
  booktitle =    alp3,
  editor =       {H. Kirchner and G. Levi},
  year =         1992,
  publisher =    sv,
  series =       lncs,
  volume =       632,
  pages =        {158-200}
}

@Article{Meseguer92-tcs,
  author =       {Jos\'{e} Meseguer},
  title =        {Conditional Rewriting Logic as a Unified Model of
                  Concurrency},
  journal =      tcs,
  volume =       96,
  number =       1,
  pages =        {73-155},
  year =         1992
}

@InCollection{Meseguer93,
  author =       {Jos{\'e} Meseguer},
  title =        {A Logical Theory of Concurrent Objects and its
                  realization in the {Maude} Language},
  booktitle =    {Research Directions in Concurrent Object-Oriented
                  Programming},
  editor =       {G. Agha and P. Wegner and A. Yonezawa},
  year =         1993,
  pages =        {314-390},
  publisher =    mit
}

@InProceedings{Meseguer93-ecoop,
  author =       {Jos{\'e} Meseguer},
  title =        {Solving the Inheritance Anomaly in Concurrent
                  Object-Oriented Programming},
  booktitle =    {ECOOP'93 --- Object-Oriented Programming, 7th European
                  Conference, Kaiserslautern, Germany, July 26--30, 1993,
                  Proceedings},
  editor =       {O. M. Nierstrasz},
  year =         1993,
  pages =        {220-246},
  publisher =    sv,
  series =       lncs,
  volume =       707
}

@InProceedings{Meseguer96-concur,
  author =       {Jos\'{e} Meseguer},
  title =        {Rewriting logic as a semantic framework for concurrency:
                  {A} progress report},
  booktitle =    {{CONCUR}'96: Concurrency Theory, 7th International
                  Conference, Pisa, Italy, August 26--29, 1996,
                  Proceedings},
  editor =       {U. Montanari and V. Sassone},
  pages =        {331-372},
  year =         1996,
  publisher =    sv,
  series =       lncs,
  volume =       1119
}

@Proceedings{Meseguer96-wrla,
  title =        WRLA1996ProcTitle,
  booktitle =    WRLA1996ProcTitle,
  editor =       {Jos{\'e} Meseguer},
  year =         1996,
  publisher =    {Elsevier},
  series =       entcs,
  volume =       4,
  month =        sep,
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume4.html}}
}

@InProceedings{Meseguer98-forte,
  author =       {Jos{\'e} Meseguer},
  title =        {A logical framework for distributed systems and
                  communication protocols},
  editor =       {S. Budkowski and A. Cavalli and E. Najm},
  booktitle =    {Formal Description Techniques and Protocol
                   Specification, Testing and Verification,
		   FORTE/PSTV'98 IFIP TC6 WG6.1 Joint
                  International Conference on Formal Description Techniques
                  for Distributed Systems and Communication Protocols
                  (FORTE XI) and Protocol Specification, Testing and
                  Verification (PSTV XVIII), November 3--6, 1998, 
                  Paris, France}, 
  publisher =    kluwer, 
  pages =        {327-333},
  series =       {International Federation for Information Processing}, 
  volume =       135,
  year =         1998
}

@InProceedings{Meseguer98-marktoberdorf,
  author =       {Jos{\'e} Meseguer},
  title =        {Research Directions in Rewriting Logic},
  booktitle =    {Computational Logic, Proceedings of the NATO Advanced
                  Study Institute on Computational Logic held in
                  Marktoberdorf, Germany, July 29 -- August 6, 1997},
  publisher =    sv,
  year =         1998,
  editor =       {U. Berger and H. Schwichtenberg},
  volume =       165,
  series =       {{NATO ASI} Series {F}: Computer and Systems Sciences},
  pages =        {347-398}
}

@InProceedings{Meseguer98-wadt,
  author =       {Jos{\'e} Meseguer},
  title =        {Membership Algebra as a Logical Framework for Equational
                  Specification},
  booktitle =    wadt97,                 
  editor =       {F. Parisi-Presicce},
  publisher =    sv,
  pages =        {18-61},
  series =       lncs,
  volume =       1376,
  year =         1998
}

@InProceedings{Meseguer98-amai,
  author =       {Jos{\'e} Meseguer},
  title =        {Formal Interoperability},
  booktitle =    {Proceedings of the 1998 Conference on Mathematics in
                  Artificial Intelligence},
  note =         {\url{http://rutcor.rutgers.edu/~amai/Proceedings.html}. 
                  Presented also at the \emph{14th IMACS World Congress},
                  Atlanta, Georgia, July 1994},
  year =         1998,
  month =        jan,
  address =      {Fort Laurerdale, Florida}
}

@InProceedings{Meseguer00-rta,
  author =       {Jos{\'e} Meseguer},
  title =        {Rewriting Logic and {Maude}: Concepts and Applications},
  booktitle =    rta11,
  editor =       {L. Bachmair},
  pages =        {1-26},
  publisher =    sv,
  series =       lncs,
  volume =       1833,
  year =         2000
}

@InProceedings{Meseguer00-fmoods,
  author =       {Jos{\'e} Meseguer},
  title =        {Rewriting Logic and {Maude}: {A} wide-spectrum semantic
                  framework for object-based distributed systems},
  booktitle =    fmoods00,
  editor =       {S. F. Smith and C. L. Talcott},
  pages =        {89-117},
  publisher =    kluwer,
  year =         2000
}

@InProceedings{Meseguer-Futatsugi-Winkler92,
  author =       {Jos{\'e} Meseguer and Kokichi Futatsugi and Timothy
                  Winkler},
  title =        {Using Rewriting Logic to Specify, Program, Integrate, and
                  Reuse Open Concurrent Systems of Cooperating Agents},
  year =         1992,
  booktitle =    {Proceedings of the 1992 International Symposium on New
                  Models for Software Architecture},
  publisher =    {Research Institute of Software Engineering},
  address =      {Tokyo, Japan},
  month =        nov,  
  pages =        {61-106}
}

@InProceedings{Meseguer-Marti-Oliet95,
  author =       {Jos{\'e} Meseguer and Narciso Mart{\'\i}-Oliet},
  title =        {From abstract data types to logical frameworks},
  booktitle =    {Recent Trends in Data Type Specification, 10th Workshop
                  on Specification of Abstract Data Types Joint with the
                  5th {COMPASS} Workshop, S. Margherita, Italy, May 30 --
                  June 3, 1994, Selected Papers},
  editor =       {E. Astesiano and G. Reggio and A. Tarlecki},
  year =         1995,
  pages =        {48-80},
  publisher =    sv,
  series =       lncs,
  volume =       906
}

@InProceedings{Meseguer-Montanari98,
  author =       {Jos{\'e} Meseguer and Ugo Montanari},
  title =        {Mapping Tile Logic into Rewriting Logic},
  booktitle =    wadt97,
  editor =       {F. Parisi-Presicce},
  publisher =    sv,
  series =       lncs,
  volume =       1376,
  pages =        {62-91},
  year =         1998
}

@InProceedings{Meseguer-Qian93,
  author =       {Jos{\'e} Meseguer and Xiaolei Qian},
  title =        {A Logical Semantics for Object-Oriented Databases},
  booktitle =    {Proceedings International SIGMOD Conference on Management
                  of Data},
  editor =       {P. Buneman and S. Jajodia},                  
  year =         1993,
  publisher =    {ACM},
  pages =        {89-98}
}

@Misc{Meseguer-Stehr-Talcott00,
  author =       {Jos{\'e} Meseguer and Mark-Oliver Stehr and Carolyn 
                  L. Talcott},
  title  =       {Specifying the {PLAN} Language in {M}aude},
  year =         2000,
  note =         {Slides available at 
     \url{http://www-formal.stanford.edu/clt/Talks/00sep-utokyo-talk.ps.gz}.}
}

@Unpublished{Meseguer-Talcott97,
  author =       {Jos{\'e} Meseguer and Carolyn L. Talcott},
  title =        {Using Rewriting Logic to Interoperate Architectural
                  Description Languages ({I and II})},
  note =         {Lectures at the Santa Fe and Seattle \emph{DARPA-EDCS
                  Workshops}, March and July 1997. 
     \url{http://www-formal.stanford.edu/clt/ArpaNsf/adl-interop.html}.}
}

@InProceedings{Meseguer-Talcott98,
  author =       {Jos{\'e} Meseguer and Carolyn L. Talcott},
  title =        {Mapping {OMRS} to rewriting logic},
  pages =        {345-366},
  crossref =     {Kirchner-Kirchner98-wrla},
  note =         {\url{http://www.elsevier.nl/locate/entcs/volume15.html}.
                 Full version in preparation}
}

@InProceedings{Meseguer-Talcott99,
  author =       {Jos{\'e} Meseguer and Carolyn L. Talcott},
  title =        {A Partial Order Event Model for Concurrent Objects},
  booktitle =    {{CONCUR'99}, Concurrency Theory, 10th International
                  Conference Eindhoven, The Netherlands, August 24--27,
                  1999, Proceedings},
  editor =       {J. C. M. Baeten and S. Mauw},
  pages =        {415-430},
  year =         1999,
  publisher =    sv,
  series =       lncs,
  volume =       1664
}

@InProceedings{Meseguer-Winkler92,
  title =        {Parallel Programming in {Maude}},
  author =       {Jos\'{e} Meseguer and Timothy Winkler},
  year =         1992,
  booktitle =    {Research Directions in High-level Parallel Programming
                  Languages, Mont Saint-Michel, France, June 17--19, 1991,
                  Proceedings},
  publisher =    sv,
  series =       lncs,
  volume =       574,
  pages =        {253-293},
  editor =       {J.-P. Ban{\^a}tre and D. Le M{\`e}tayer}
}

@InProceedings{Millen00,
  author =       {Jon Millen},
  title =        {Applications of Term Rewriting to Cryptographic Protocol
                  Analysis},
  pages =        {229-234},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Miyoshi96,
  author =       {Hiroyuki Miyoshi},
  title =        {Modelling Conditional Rewriting Logic in Structured
                  Categories},
  pages =        {20-34},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Montanari-Talcott98,
  author =       {Ugo Montanari and Carolyn L. Talcott},
  title =        {Can Actors and pi-Agents Live Together?},
  editor =       {A. D. Gordon and A. M. Pitts and C. L. Talcott},
  booktitle =    {Proceedings Second Workshop on Higher-Order 
                  Operational Techniques in Semantics, {HOOTS'98}},
  publisher =    {Elsevier},
  series =       entcs,
  volume =       10,
  year =         1998
}

@InProceedings{Moreau98,
  author =       {Pierre-Etienne Moreau},
  title =        {A choice-point library for backtrack programming},
  booktitle =    {JICSLP'98 Post-Conference Workshop on Implementation
                  Technologies for Programming Languages based on Logic},
  year =         1998,
  month =        jun
}

@PhdThesis{Moreau99-thesis,
  author =       {Pierre-Etienne Moreau},
  title =        {Compilation de R{\`e}gles de R{\'e}{\'e}criture et de
                  Strat{\'e}gies Non-D{\'e}terministes},
  school =       {Universit\'e Henri Poincar\'e -- Nancy I},
  year =         1999,
  month =        jun
}

@TechReport{Moreau-Kirchner97,
  author =       {Pierre-Etienne Moreau and H{\'e}l{\`e}ne Kirchner},
  title =        {Compilation of Associative-Commutative Normalisation with
                  Strategies in {ELAN} (Full Version)},
  number =       {97-R-129},
  institution =  {LORIA, Nancy, France},
  year =         1997
}

@InProceedings{Moreau-Kirchner98-asfsdf,
  author =       {Pierre-Etienne Moreau and H{\'e}l{\`e}ne Kirchner},
  title =        {Compilation Techniques for Associative-Commutative
                  Normalisation},
  booktitle =    {Second International Workshop on the Theory and Practice
                  of Algebraic Specifications, Amsterdam, The Netherlands,
                  September 25--26, 1997},
  publisher =    sv,
  editor =       {M. P. A. Sellink},
  series =       {Electronic Workshops in Computing},
  year =         1998,
  note =       {\url{http://www.ewic.org.uk/ewic/workshop/view.cfm/ASFSDF-97}}
}

@InProceedings{Moreau-Kirchner98,
  author =       {Pierre-Etienne Moreau and H{\'e}l{\`e}ne Kirchner},
  title =        {A Compiler for Rewrite Programs in
                  Associative-Commutative Theories},
  booktitle =    {Principles of Declarative Programming, 10th International
                  Symposium, {PLIP}'98 Held Jointly with the 6th Conference
                  {ALP}'98, Pisa, Italy, September 16--18, 1998,
                  Proceedings},
  editor =       {C. Palamidessi and H. Glaser and K. Meinke},
  year =         1998,
  publisher =    sv,
  series =       lncs,
  volume =       1490,
  pages =        {230-249}
}

@InProceedings{Mosses98,
  author =       {Peter D. Mosses},
  title =        {Semantics, Modularity, and Rewriting Logic},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Mosses99,
  author =       {Peter D. Mosses},
  title =        {Logical Specification of Operational Semantics},
  editor =       {J. Flum and M. Rodr\'{\i}guez-Artalejo},
  booktitle =    {Computer Science Logic, 13th International Workshop,
                  CSL'99, 8th Annual Conference of the EACSL, Madrid,
                  Spain, September 20--25, 1999, Proceedings},
  publisher =    sv,
  series =       lncs,
  volume =       1683,
  year =         1999,
  pages =        {32-49}
}

@Unpublished{Najm-Stefani94,
  author =       {Elie Najm and Jean-Bernard Stefani},
  title =        {A Formal Operational Semantics for the {ODP} Computational 
                  Model with Signals, Explicit Binding, and 
                  Reactive Objects},
  year =         1994,
  note =         {Manuscript, ENST, Paris, France}
}

@Article{Najm-Stefani95,
  author =       {Elie Najm and Jean-Bernard Stefani},
  title =        {A Formal Semantics for the {ODP} Computational Model},
  journal =      {Computer Networks and ISDN Systems},
  year =         1995,
  volume =       {27},
  pages =        {1305-1329}
}

@InProceedings{Najm-Stefani97,
  author =       {Elie Najm and Jean-Bernard Stefani},
  title =        {Computational models for open distributed systems},
  booktitle =    fmoods97,
  editor =       {H. Bowman and J. Derrick},
  year =         1997,
  pages =        {157-176},
  publisher =    {Chapman \& Hall}
}

@InProceedings{Nakajima98,
  author =       {Shin Nakajima},
  title =        {Encoding mobility in {CafeOBJ}: An exercise of describing
                  mobile code-based software architecture},
  crossref =     {Futatsugi98-cafeobj}
}

@InProceedings{Nakajima99,
  author =       {Shin Nakajima},
  title =        {Using Algebraic Specification Techniques in 
                  Development of Object-Oriented Frameworks},
  booktitle =    {FM'99 --- Formal Methods, World Congress on Formal
                  Methods in the Development of Computing Systems,
                  Toulouse, France, September 20--24, 1999 Proceedings,
                  Volume II},
  year =         1999,
  editor =       {J. M. Wing and J. Woodcock and J. Davies},
  pages =        {1664-1683},
  publisher =    sv,
  volume =       1709,
  series =       lncs
}

@InProceedings{Nakajima-Futatsugi97,
  author =       {Shin Nakajima and Kokichi Futatsugi},
  title =        {An object-oriented modeling method for algebraic
                  specifications in {CafeOBJ}},
  booktitle =    {Proceedings, 19th International Conference on Software
                  Engineering},
  publisher =    {IEEE Computer Society Press},
  year =         1997,
  month =        may,
  address =      {Boston, Massachussets},
  pages =        {34-44}
}

@InProceedings{Nakamura-Ogata00,
  author =       {Masaki Nakamura and Kazuhiro Ogata},
  title =        {The evaluation strategy for head normal form with and
                  without on-demand flags},
  pages =        {211-227},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Nakashima00,
  author =       {Hideyuki Nakashima},
  title =        {Cyber Assistance for Situated Human Information
                  Processing},
  pages =        {295-296},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Naumov-Stehr-Meseguer01,
  author = 	 {Pavel Naumov and Mark-Oliver Stehr and Jos{\'e} 
                  Meseguer},
  title = 	 {The {HOL/NuPRL} Proof Translator ---
                  {A} Practical Approach to Formal Interoperability},
  booktitle = 	 {Theorem Proving in Higher Order Logics, 14th
                  International Conference, TPHOLs'2001, Edinburgh, 
                  Scotland, UK, September 3--6, 2001, Proceedings},
  publisher =    sv,
  series = 	 lncs,
  year = 	 2001
}

@InProceedings{Noll99,
  author =       {Thomas Noll},
  title =        {On Coherence Properties in Term Rewriting Models of
                  Concurrency},
  booktitle =    {CONCUR'99, Concurrency Theory, 10th International
                  Conference Eindhoven, The Netherlands, August 24--27,
                  1999, Proceedings},
  editor =       {J. C. M. Baeten and S. Mauw},
  year =         1999,
  publisher =    sv,
  series =       lncs,
  volume =       1664,
  pages =        {478-493}
}

@TechReport{Numazawa-Kurihara-Ohuchi96,
  author =       {Masanobu Numazawa and Masahito Kurihara and Azuma Ohuchi},
  title =        {A Reflective Language Based on Conditional Term
                  Rewriting},
  institution =  {Division of Systems and Information Engineering, Hokkaido
                  University, Sapporo, Japan},
  year =         1996,
}

@InProceedings{Ogata-Futatsugi97,
  author =       {Kazuhiro Ogata and Kokichi Futatsugi},
  title =        {An abstract machine for order-sorted conditional term
                  rewriting systems},
  editor =       {H. Comon},
  booktitle =    rta8, 
  year =         1997,
  publisher =    sv,
  series =       lncs,
  volume =       1232,
  pages =        {335-338}  
}

@InProceedings{Ogata-Futatsugi99,
  author =       {Kazuhiro Ogata and Kokichi Futatsugi},
  title =        {Specification and Verification of Some Classical Mutual 
                  Exclusion Algorithms with {CafeOBJ}},
  crossref =     {Futatsugi-Goguen-Meseguer99-fm},
  pages =        {159-178} 
}

@PhDThesis{Olveczky00-thesis,
  author =       {Peter Csaba {\"O}lveczky},
  title =        {Specification and Analysis of Real-Time and 
                  Hybrid Systems in Rewriting Logic},
  school =       {University of Bergen, Norway},
  year =         2000,  
  note =         {\url{http://maude.csl.sri.com/papers}}
}

@InProceedings{OKMTZ01,
  author =       {Peter Csaba {\"O}lveczky and Mark Keaton and 
                  Jos{\'e} Meseguer and Carolyn L. Talcott and Steve Zabele},
  title =        {Specification and Analysis of the {AER/NCA} Active Network 
                  Protocol Suite in {R}eal-{T}ime {M}aude},
  booktitle =    {Fundamental Approaches to Software Engineering, 4th
                  International Conference, {FASE} 2001, Held as Part of
                  {ETAPS} 2001, Genova, Italy, April 2001, Proceedings},
  editor =       {H. Hussmann},
  publisher =    sv,
  series =       lncs,
  volume =       2029,
  pages =        {333-347},
  year =         2001,
  note =         {\url{http://maude.csl.sri.com/papers}}
}

@InCollection{Olveczky-Kosiuczenko-Wirsing96,
  author =       {Peter Csaba {\"O}lveczky and Piotr Kosiuczenko and Martin
                  Wirsing},
  title =        {An Object-Oriented Algebraic Steam-Boiler Control
                  Specification},
  editor =       {J.-R. Abrial and E. B{\"o}rger and H. Langmaack},
  booktitle =    {Formal Methods for Industrial Applications: Specifying
                  and Programming the Steam Boiler Control},
  series =       lncs,
  publisher =    sv,
  year =         1996,
  volume =       1165,
  pages =        {379-402}
}

@InProceedings{Olveczky-Meldal98,
  author =       {Peter Csaba {\"O}lveczky and Sigurd Meldal},
  title =        {Specification and prototyping of network protocols in
                  rewriting logic},
  booktitle =    {Proceedings of NIK'98, Norsk Informatikk Konferanse},
  year =         1998
}

@InProceedings{Olveczky-Meseguer96,
  author =       {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
  title =        {Specifying real-time systems in rewriting logic},
  pages =        {283-308},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Olveczky-Meseguer00,
  author =       {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
  title =        {Real-{T}ime {Maude}: A Tool for Simulating and Analyzing
                  Real-Time and Hybrid Systems},
  pages =        {361-383},
  crossref =     {Futatsugi00-wrla}
}

@Unpublished{Olveczky-Meseguer01,
  author =       {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
  title =        {Specifying and Analyzing Real-Time Object Systems 
                  in {R}eal-{T}ime {M}aude},
  year =         2001,
  note =         {Manuscript, Computer Science Laboratory, SRI 
                  International, submitted for publication}
}

@Article{Olveczky-Meseguer01-tcs,
  author =       {Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer},
  title =        {Specification of real-time and hybrid systems in
                  rewriting logic},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@MastersThesis{Palomino,
  author =       {Miguel {Palomino Tarjuelo}},
  title =        {Relating {M}eseguer's Rewriting Logic with the
                  Constructor-Based Rewriting Logic},
  school =       {Facultad de Matem{\'a}ticas, Universidad Complutense
                  de Madrid, Spain},
  year =         2001,
  month =        may,
  note =         {\url{http://maude.csl.sri.com/papers}}
}

@InProceedings{Palomino01,
  author =       {Miguel {Palomino Tarjuelo}},
  title =        {Comparing {M}eseguer's Rewriting Logic with the
                  Logic {CRWL}},		  
  booktitle = 	 {Proceedings WFLP 2001, International Workshop on 
                  Functional and (Constraint) Logic Programming},
  address =      {Kiel, Germany},
  month =        sep # { 13--15,},
  year =         2001
}

@InProceedings{Pattinson00,
  author =       {Dirk Pattinson},
  title =        {Modal Logic for Rewriting Theories},
  pages =        {173-191},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Pita-Marti-Oliet96,
  author =       {Isabel Pita and Narciso Mart{\'\i}-Oliet},
  title =        {A {Maude} specification of an object oriented database
                  model for telecommunication networks},
  pages =        {404-422},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Pita-Marti-Oliet99,
  author =       {Isabel Pita and Narciso Mart{\'\i}-Oliet},
  title =        {Using Reflection to Specify Transaction Sequences in
                  Rewriting Logic},
  booktitle =    wadt98,
  year =         1999,
  editor =       {J. L. Fiadeiro},
  pages =        {261-276},
  publisher =    sv,
  volume =       1589,
  series =       lncs
}

@Article{Pita-Marti-Oliet01,
  author =       {Isabel Pita and Narciso Mart{\'\i}-Oliet},
  title =        {A {Maude} specification of an object-oriented
                  model for telecommunication networks},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@TechReport{Quesada01,
  author =       {Jos{\'e} F. Quesada},
  title =        {The {Maude} parser: Parsing and meta-parsing
                  $\beta$-extended context-free grammars},
  institution =  {Computer Science Laboratory, SRI International},
  year =         2001,
  note =         {To appear}
}

@InProceedings{Ringeissen97,
  author =       {Christophe Ringeissen},
  title =        {Prototyping combination of unification algorithms with
                  the {ELAN} rule-based programming language},
  editor =       {H. Comon},
  booktitle =    rta8,
  year =         1997,
  publisher =    sv,
  series =       lncs,
  volume =       1232,
  pages =        {323-326}
}

@InProceedings{Ringeissen00,
  author =       {Christophe Ringeissen},
  title =        {Handling Relations over Finite Domains in the Rule-Based
                  System {ELAN}},
  pages =        {193-210},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Rodriguez00,
  author =       {Dilia E. Rodr{\'\i}guez},
  title =        {Case Studies in the Specification and Analysis of
                  Protocols in {Maude}},
  pages =        {257-275},
  crossref =     {Futatsugi00-wrla}
}

@TechReport{Rosu-Havelund01,
  author =       {Grigore Ro{\c{s}}u and Klaus Havelund},
  title =        {Generating Optimal Monitors from Temporal Formulae},
  institution =  {Research Institute for Advanced Computer Science},
  year =         2001
}

@MastersThesis{Salmansberger,
  author =       {Barbara Salmansberger},
  title =        {{Objektorientierte Spezifikation von verteilten Systemen
                  in Maude am Beispiel eines Flughafens}},
  school =       {Fakult\"at f\"ur Mathematik und Informatik, Universit\"at
                  Passau},
  year =         1993,
  month =        dec
}

@InProceedings{SHMH00,
  author =       {Marisol S{\'a}nchez and Jos{\'e} Luis Herrero and Juan
                  Manuel Murillo and Juan Hern{\'a}ndez},
  title =        {Guaranteing Coherent Software Systems when Composing
                  Coordinated Components},
  booktitle =    {Coordination Languages and Models, 4th International
                  Conference, COORDINATION 2000, Limassol, Cyprus, September
                  11--13, 2000, Proceedings},
  year =         2000,
  editor =       {A. Porto and G.-C. Roman},
  volume =       1906,
  pages =        {341-346},
  series =       lncs,
  publisher =    sv,
}

@PhdThesis{Scharff99-thesis,
  author =       {Christelle Scharff},
  title =        {D\'eduction avec Contraintes et Simplification 
                  dans les Th\'eories \'Equationnelles},
  school =       {Universit\'e Henri Poincar\'e -- Nancy I},
  year =         1999,
  month =        sep
}

@InProceedings{Schorlemmer96,
  author =       {W. Marco Schorlemmer},
  title =        {Bi-rewriting rewriting logic},
  pages =        {265-282},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Schorlemmer98,
  author =       {W. Marco Schorlemmer},
  title =        {Rewriting Logic as a Logic of Special Relations},
  pages =        {163-184},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{Schorlemmer99,
  author =       {W. Marco Schorlemmer},
  title =        {Term rewriting in a logic of special relations},
  booktitle =    amast98,
  pages =        {178-195},
  year =         1999,
  editor =       {A. M. Haeberer},
  volume =       1548,
  series =       lncs,
  publisher =    sv
}

@PhdThesis{Schorlemmer99-thesis,
  author =       {W. Marco Schorlemmer},
  title =        {On Specifying and Reasoning with Special Relations},
  school =       {Universitat Polit\`ecnica de Catalunya},
  year =         1999,
  month =        mar
}

@Article{Skillicorn-Talia98,
  author =       {David B. Skillicorn and Domenico Talia},
  title =        {Models and Languages for Parallel Computation},
  journal =      {ACM Computing Surveys},
  volume =       30,
  number =       2,
  month =        jun,
  year =         1998,
  pages =        {123-169}
}

@InProceedings{Steggles01,
  author =       {L. Jason Steggles},
  title =        {Rewriting Logic and {E}lan: Prototyping Tools for 
                  {P}etri Nets with Time},
  booktitle =    {Applications and Theory of {P}etri Nets 2001, 22nd 
                  International Conference, ICATPN 2001, Newcastle upon 
		  Tyne, UK, June 25--29, 2001, Proceedings},
  year =         2001,
  pages =        {363-381},
  editor =       {J.-M. Colom and M. Koutny},
  volume =       2075,
  series =       lncs,
  publisher =    sv
}

@InProceedings{Steggles-Kosiuczenko98,
  author =       {L. Jason Steggles and Piotr Kosiuczenko},
  title =        {A timed rewriting logic semantics for {SDL}: {A} case
                  study of the alternating bit protocol},
  pages =        {295-316},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@Article{Steggles-Kosiuczenko00,
  author =       {L. Jason Steggles and Piotr Kosiuczenko},
  title =        {A Formal Model for {SDL} Specifications Based on 
                  Timed Rewriting Logic},
  journal =      {Automated Software Engineering},
  volume =       7,
  number =       1,
  month =        mar,
  year =         2000,
  pages =        {61-90}
}

@InProceedings{Stehr00,
  author =       {Mark-Oliver Stehr},
  title =        {{CINNI} --- {A} Generic Calculus of Explicit Substitutions
                  and its Application to $\lambda$-, $\varsigma$- and
                  $\pi$-Calculi},
  pages =        {71-92},
  crossref =     {Futatsugi00-wrla}
}

@InCollection{Stehr01,
  author =       {Mark-Oliver Stehr},
  title =        {A Rewriting Semantics for Algebraic Nets},
  editor =       {C. Girault and R. Valk},
  booktitle =    {Petri Nets for System Engineering --- A Guide to
                  Modeling, Verification, and Applications},
  publisher =    sv,
  year =         2001
}

@PhdThesis{Stehr02-thesis,
  author = 	 {Mark-Oliver Stehr},
  title = 	 {Rewriting Logic and Type Theory --- 
                  From Applications to Unification},
  school = 	 {Computer Science Department, University of Hamburg,
                  Germany},
  year = 	 {2002},
  note = 	 {In preparation}
}

@InProceedings{Stehr-Meseguer99,
  author =       {Mark-Oliver Stehr and Jos{\'e} Meseguer},
  title =        {Pure Type Systems in Rewriting Logic},
  booktitle =    {Proceedings of LFM'99: Workshop on Logical Frameworks and
                  Meta-languages},
  address =      {Paris, France}, 
  month =        sep # { 28,}, 
  year =         1999,
  note =         {\url{http://www.cs.bell-labs.com/~felty/LFM99/}}
}

@InProceedings{Stehr-Meseguer-Olveczky01-long,
  author = 	 {Mark-Oliver Stehr and Jos{\'e} Meseguer and 
                  Peter Csaba {\"O}lveczky},
  title = 	 {Rewriting Logic as a Unifying Framework for {P}etri Nets},
  booktitle = 	 {Unifying {P}etri Nets},
  editor = 	 {H. Ehrig and G. Juhas and J. Padberg and G. Rozenberg},
  series = 	 lncs,
  year = 	 2001,
  publisher =    sv,
  note =         {To appear}
}

@InProceedings{Stehr-Meseguer-Olveczky01,
  author =       {Mark-Oliver Stehr and Jos{\'e} Meseguer and 
                  Peter Csaba {\"O}lvczky},
  title = 	 {Representation and Execution of {P}etri Nets Using
                  Rewriting Logic as a Uniform Framework},
  booktitle = 	 {Proceedings UNIGRA'2001, Uniform Approaches to 
                  Graphical Process Specification Techniques}, 
  address =      {Genova, Italy},
  month =        {March/April},
  year = 	 {2001},
  editor = 	 {J. Padberg},
  series = 	 entcs,
  publisher =    {Elsevier},
  note = 	 {To appear}
}

@InProceedings{Stehr-Naumov-Meseguer01,
  author =       {Mark-Oliver Stehr and Pavel Naumov and Jos{\'e} Meseguer},
  title =        {A Proof-Theoretic Approach to the {HOL-Nuprl} Connection
                  with Applications to Proof Translation},		  
  booktitle = 	 {Proceedings WADT/CoFI'01, 15th International Workshop on 
                  Algebraic Development Techniques and General Workshop of 
		          the CoFI WG},
  address =      {Genova, Italy},
  month =        apr # { 1--3,},
  editor =       {M. Cerioli and P. D. Mosses and G. Reggio},
  note =         {\url{http://www.csl.sri.com/~stehr/fi_eng.html}},
  year =         2001
}

@InProceedings{TKOH96,
  author =       {Yasuyuki Tahara and Fumihiro Kumeno and Akihiko Ohsuga 
                  and Shinichi Honiden},
  title =        {An Algebraic Semantics of Reflective Objects},
  booktitle =    {Object-Technologies for Advanced Software, Second JSSST
                  International Symposium, ISOTAS'96, Kanaza, Japan, March
                  11--15, 1996, Proceedings},
  editor =       {K. Futatsugi and S. Matsuoka},
  publisher =    sv,
  series =       lncs,
  volume =       1049,
  pages =        {173-189},
  year =         1996
}

@InProceedings{Talcott96,
  author =       {Carolyn L. Talcott},
  title =        {An actor rewriting theory},
  pages =        {360-383},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Talcott97,
  author =       {Carolyn L. Talcott},
  title =        {Interaction Semantics for Components of Distributed
                  Systems },
  booktitle =    fmoods96,
  editor =       {E. Najm and J.-B. Stefani},
  year =         1997,
  pages =        {154-169},
  publisher =    {Chapman \& Hall}
}

@InProceedings{Talcott97-tacs,
  author =       {Carolyn L. Talcott},
  title =        {Composable Semantic Models for Actor Theories},
  booktitle =    {Theoretical Aspects of Computer Science, Third
                  International Symposium, {TACS}'97, Sendai, Japan,
                  September 23--26, 1997, Proceedings},
  editor =       {M. Abadi and T. Ito},
  year =         1997,
  publisher =    sv,
  series =       lncs,
  volume =       1281,
  pages =        {321-364}
}

@InProceedings{Talcott00,
  author =       {Carolyn L. Talcott},
  title =        {Towards a Toolkit for Actor System Specification},
  editor =       {T. Rus},
  booktitle =    amast2000,
  year =         2000,
  publisher =    sv,
  series =       lncs,
  volume =       1816,
  pages =        {391-406}
}

@Article{Talcott01,
  author =       {Carolyn L. Talcott},
  title =        {Actor Theories in Rewriting Logic},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{Toval-Fernandez00,
  author =       {Ambrosio Toval and Jos{\'e} Luis Fern{\'a}ndez},
  title =        {Formally Modeling {UML} and its Evolution: A Holistic
                  Approach},
  booktitle =    fmoods00,
  editor =       {S. F. Smith and C. L. Talcott},
  publisher =    kluwer,
  pages =        {183-206},
  year =         2000
}

@InProceedings{Toval-Fernandez01,
  author =       {Ambrosio Toval and Jos{\'e} Luis Fern{\'a}ndez},
  title =        {Improving System Reliability Via Rigorous Software
                  Modeling: The {UML} Case},
  booktitle =    {Proceedings IEEE Aerospace Conference, Volume 6}, 
  month =        mar # { 10--17,},
  year =         2001, 
  address =      {Big Sky, MT, USA},
  publisher =    {IEEE Press},
  pages =        {6-17}
}

@InProceedings{vandenBrand-Klint-Verhoef98,
  author =       {Mark G. J. van den Brand and Paul Klint and 
                  Chris Verhoef},
  title =        {Term Rewriting for Sale},
  pages =        {139-162},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@InProceedings{vandenBrand-Ringeissen00,
  author =       {Mark G. J. van den Brand and Christophe Ringeissen},
  title =        {{ASF+SDF} parsing tools applied to {ELAN}},
  pages =        {135-154},
  crossref =     {Futatsugi00-wrla}
}

@InProceedings{Verdejo-Marti-Oliet00-int,
  author =       {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
  title =        {Executing {E-LOTOS} processes in {Maude}},
  booktitle =    {INT 2000, Integration of Specification Techniques with
                  Applications in Engineering, Extended Abstracts},
  pages =        {49-53},
  editor =       {H. Ehrig and M. Grosse-Rhode and F. Orejas},
  note =         {Technical report 2000/04, Technische Universitat Berlin, 
                  March 2000}
}

@TechReport{Verdejo-Marti-Oliet00-tr,
  author =       {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
  title =        {Executing and verifying {CCS} in {Maude}},
  institution =  {Departamento de Sistemas Inform\'aticos y Programaci\'on,
                  Universidad Complutense de Madrid},
  number =       {99-00},
  year =         2000,
  month =        feb,
  note =         {\url{http://maude.csl.sri.com/casestudies/ccs}}
}

@InProceedings{Verdejo-Marti-Oliet00,
  author =       {Alberto Verdejo and Narciso Mart{\'\i}-Oliet},
  title =        {Implementing {CCS} in {Maude}},
  booktitle =    {Formal Methods For Distributed System
                  Development. FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint
                  International Conference on Formal Description Techniques
                  for Distributed Systems and Communication Protocols
                  (FORTE XIII) and Protocol Specification, Testing and
                  Verification (PSTV XX) October 10--13, 2000, Pisa, Italy},
  pages =        {351-366},
  year =         2000,
  series =       {International Federation for Information Processing}, 
  volume =       183,
  editor =       {T. Bolognesi and D. Latella},
  publisher =    kluwer
}

@InProceedings{Verdejo-Pita-Marti-Oliet00,
  author =       {Alberto Verdejo and Isabel Pita and Narciso
                  Mart{\'\i}-Oliet},
  title =        {The Leader Election Protocol of {IEEE} 1394 in {Maude}},
  pages =        {385-406},
  crossref =     {Futatsugi00-wrla}
}

@PhdThesis{Viry92-thesis,
  author =       {Patrick Viry},
  title =        {La R{\'e}{\'e}criture Concurrente},
  school =       {Universit\'e de Nancy I},
  year =         1992
}

@InProceedings{Viry94,
  author =       {Patrick Viry},
  title =        {Rewriting: An Effective Model of Concurrency},
  booktitle =    {PARLE'94 Parallel Architectures and Languages Europe,
                  6th International PARLE Conference, Athens, Greece, July
                  4--8, 1994, Proceedings},
  year =         1994,
  pages =        {648-660},
  editor =       {C. Halatsis and D. Maritsas and G. Philokyprou and
                  S. Theodoridis},
  publisher =    sv,
  volume =       817,
  series =       lncs
}

@TechReport{Viry95,
  author =       {Patrick Viry},
  title =        {Rewriting modulo a rewrite system},
  institution =  {Dipartimento di Informatica, Universit\`a di Pisa},
  number =       {TR-95-20},
  month =        dec,
  year =         1995,
  note =         {\url{ftp://ftp.di.unipi.it/pub/techreports/TR-95-20.ps.Z}}
}

@InProceedings{Viry96,
  author =       {Patrick Viry},
  title =        {Input/Output for {ELAN}},
  pages =        {51-64},
  crossref =     {Meseguer96-wrla}
}

@InProceedings{Viry98,
  author =       {Patrick Viry},
  title =        {Adventures in sequent calculus modulo equations},
  pages =        {367-378},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@Article{Viry01,
  author =       {Patrick Viry},
  title =        {Equational rules for rewriting logic},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{Visser-Benaissa98,
  author =       {Eelco Visser and Zine-el-Abidine Benaissa},
  title =        {A Core Language for Rewriting},
  pages =        {25-44},
  crossref =     {Kirchner-Kirchner98-wrla}
}

@PhdThesis{Vittek94-thesis,
  author =       {Marian Vittek},
  title =        {{ELAN}: Un Cadre Logique pour le Prototypage de Langages
                  de Programmation avec Contraintes},
  school =       {Universit\'e Henri Poincar\'e -- Nancy I},
  month =        nov,
  year =         1994
}

@InProceedings{Vittek96,
  author =       {Marian Vittek},
  title =        {A Compiler for Nondeterministic Term Rewriting Systems},
  booktitle =    rta7,
  pages =        {154-168},
  year =         1996,
  editor =       {H. Ganzinger},
  volume =       1103,
  series =       lncs,
  publisher =    sv
}

@InProceedings{Wang-Meseguer-Gunter00,
  author =       {Bow-Yaw Wang and Jos{\'e} Meseguer and Carl A. Gunter},
  title =        {Specification and formal analysis of a {PLAN} algorithm
                  in {Maude}},
  booktitle =    {Proceedings International Workshop on Distributed System
                  Validation and Verification, Taipei, Taiwan},  
  editor =       {P.-A. Hsiung},             
  month =        apr,
  year =         2000,
  pages =        {49-56}
}

@InProceedings{Watanabe95,
  author =       {Takuo Watanabe},
  title =        {Towards a Foundation of Computational Reflection based on
                  Abstract Rewriting (Preliminary Result)},
  booktitle =    {Proceedings {IMSA}'95},
  year =         1995,
  pages =        {143-145},
  publisher =    {Information-Technology Promotion Agency, Japan}
}

@InProceedings{Watanabe-Ishikawa-Futatsugi96,
  author =       {Takuo Watanabe and Hiroshi Ishikawa and 
                  Kokichi Futatsugi},
  title =        {Towards Declarative Description of Computational Reflection},
  booktitle =    {Proceedings {IMSA}'96},
  year =         1996,
  pages =        {113-128},
  publisher =    {Information-Technology Promotion Agency, Japan}
}

@InProceedings{Winkler93,
  author =       {Timothy Winkler},
  title =        {Programming in {OBJ} and {Maude}},
  editor =       {P. Lauer},
  booktitle =    {Functional Programming, Concurrency, Simulation and
                  Automated Reasoning, International Lecture Series
                  1991--1992, McMaster University, Hamilton, Ontario,
                  Canada},
  year =         1993,
  pages =        {229-277},
  publisher =    sv,
  series =       lncs,
  volume =       693
}

@InProceedings{Wirsing-Knapp96,
  author =       {Martin Wirsing and Alexander Knapp},
  title =        {A formal approach to object-oriented software
                  engineering},
  pages =        {321-359},
  crossref =     {Meseguer96-wrla}
}

@Article{Wirsing-Knapp01,
  author =       {Martin Wirsing and Alexander Knapp},
  title =        {A formal approach to object-oriented software
                  engineering},
  journal =      tcs,
  year =         2001,
  note =         {This volume}
}

@InProceedings{Wirsing-Nickl-Lechner95,
  author =       {Martin Wirsing and Friederike Nickl and Ulrike Lechner},
  title =        {Concurrent object-oriented specification in {SPECTRUM}},
  booktitle =    {Workshop on algebraic and Object-Oriented Approaches to
                  Software Science},
  editor =       {Y. Inagaki},
  pages =        {39-70},
  address =      {Nagoya, Japan},
  year =         1995
}