Volume 36, 2000

The 3rd International Workshop on Rewriting Logic and its Applications
Kanazawa City Cultural Hall, Kanzawa Japan, September 18-20, 2000

• 
  Kokichi Futatsugi: Preface. 1
• 
  Joseph A. Goguen, Kai Lin, Grigore Rosu: Behavioral and Coinductive Rewriting. 2-23
• 
  Horatiu Cirstea, Claude Kirchner: The simply typed rewriting calculus. 24-42
• 
  Hendrik Hilberdink: New Foundations for Rewriting Logic. 43-69
• 
  Mark-Oliver Stehr: CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. 70-92
• 
  Hélène Kirchner, Isabelle Gnaedig: Termination and normalisation under strategy Proofs in ELAN. 93-120
• 
  Martin Leucker, Thomas Noll: Rewriting Logic as a Framework for Generic Verification Tools. 121-137
• 
  Mark van den Brand, Christophe Ringeissen: ASF+SDF parsing tools applied to ELAN. 138-157
• 
  Marija Kulas, Christoph Beierle: Defining Standard Prolog in Rewriting Logic. 158-174
• 
  Dirk Pattinson: Modal Logic for Rewriting Theories. 175-193
• 
  Christophe Ringeissen: Handling Relations over Finite Domains in the Rule-Based System ELAN. 194-211
• 
  Masaki Nakamura, Kazuhiro Ogata: The evaluation strategy for head normal form with and without on-demand flags. 212-228
• 
  Jonathan K. Millen: Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. 229-234
• 
  David A. Basin, Grit Denker: Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. 235-256
• 
  Dilia E. Rodriguez: Case Studies in the Specification and Analysis of Protocols in Maude. 257-273
• 
  Ian A. Mason, Carolyn L. Talcott: Simple Network Protocol Simulation within Maude. 274-291
• 
  Hideyuki Nakashima: Cyber Assistance for Situtated Human Information Processing Overview of the invited talk. 292-293
• 
  Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. 294-315
• 
  Francisco Durán, José Meseguer: Parameterized Theories and Views in Full Maude 2.0. 316-338
• 
  Manuel Clavel, Francisco Durán, Narciso Martí-Oliet: Polytypic Programming in Maude. 339-360
• 
  Peter Csaba Ölveczky, José Meseguer: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. 361-382
• 
  Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet: The Leader Election Protocol of IEEE 1394 in Maude. 383-404
• 
  Grit Denker, José Meseguer, Carolyn L. Talcott: Rewriting Semantics of Meta-Objects and Composable Distributed Services. 405-425