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