Electronic Notes in Theoretical Computer Science, Volume 71

Volume 71, 2002

• Fabio Gadducci, Ugo Montanari:
  Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. 1-2
  Electronic Edition (link) BibTeX
• Horatiu Cirstea, Claude Kirchner, Luigi Liquori:
  Rewriting Calculus with(out) Types.
  Electronic Edition (link) BibTeX
• Grit Denker, Jonathan K. Millen:
  Modeling Group Communication Protocols Using Multiset Term Rewriting.
  Electronic Edition (link) BibTeX
• Kohei Honda:
  Processes and Games.
  Electronic Edition (link) BibTeX
• María Alpuente, Santiago Escobar, Salvador Lucas:
  Correct and Complete (Positive) Strategy Annotations for OBJ.
  Electronic Edition (link) BibTeX
• Roberto Bruni, José Meseguer, Ugo Montanari:
  Tiling Transactions in Rewriting Logic.
  Electronic Edition (link) BibTeX
• Manuel Clavel, José Meseguer, Miguel Palomino:
  Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic.
  Electronic Edition (link) BibTeX
• Francisco Durán, Alberto Verdejo:
  A Conference Reviewing System in Mobile Maude.
  Electronic Edition (link) BibTeX
• Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott:
  Pathway Logic: Executable Models of Biological Networks.
  Electronic Edition (link) BibTeX
• Steven Eker, José Meseguer, Ambarish Sridharanarayanan:
  The Maude LTL Model Checker.
  Electronic Edition (link) BibTeX
• Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner:
  Outermost ground termination.
  Electronic Edition (link) BibTeX
• Kazuhiro Ogata, Kokichi Futatsugi:
  Rewriting-Based Verification of Authentication Protocols.
  Electronic Edition (link) BibTeX
• Dilia E. Rodriguez:
  A Secret-Sharing Protocol Modelled in Maude.
  Electronic Edition (link) BibTeX
• Mark-Oliver Stehr, Carolyn L. Talcott:
  Plan in Maude: Specifying an Active Network Programming Language.
  Electronic Edition (link) BibTeX
• Prasanna Thati, Koushik Sen, Narciso Martí-Oliet:
  An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
  Electronic Edition (link) BibTeX
• Alberto Verdejo, Narciso Martí-Oliet:
  Implementing CCS in Maude 2.
  Electronic Edition (link) BibTeX