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
Last update Tue May 21 18:51:15 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
