Volume 71, 2002
Fabio Gadducci, Ugo Montanari: Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. 1-2- Grit Denker, Jonathan K. Millen: Modeling Group Communication Protocols Using Multiset Term Rewriting. 20-39
- Kohei Honda: Processes and Games. 40-69
- María Alpuente, Santiago Escobar, Salvador Lucas: Correct and Complete (Positive) Strategy Annotations for OBJ. 70-89
- Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic. 110-126
- Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott: Pathway Logic: Executable Models of Biological Networks. 144-161
- Kazuhiro Ogata, Kokichi Futatsugi: Rewriting-Based Verification of Authentication Protocols. 208-222
- Dilia E. Rodriguez: A Secret-Sharing Protocol Modelled in Maude. 223-239
- Mark-Oliver Stehr, Carolyn L. Talcott: Plan in Maude: Specifying an Active Network Programming Language. 240-260
- Prasanna Thati, Koushik Sen, Narciso Martí-Oliet: An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. 261-281
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team