The 3rd International Workshop on Rewriting Logic and its Applications
Kanazawa City Cultural Hall, Kanzawa Japan, September 18-20, 2000
: CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi.
Jonathan K. Millen
: Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk.
Dilia E. Rodriguez
: Case Studies in the Specification and Analysis of Protocols in Maude.
: Cyber Assistance for Situtated Human Information Processing Overview of the invited talk.