Electronic Notes in Theoretical Computer Science, Volume 36

Volume 36, 2000

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