×

zbMATH — the first resource for mathematics

WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. (English) Zbl 1271.68038
Electronic Notes in Theoretical Computer Science 71. Amsterdam: Elsevier. 300 p., electronic only (2004).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 0957.00046].
Indexed articles:
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi, Rewriting calculus with(out) types, 3-19 [Zbl 1272.68173]
Denker, Grit; Millen, Jon, Modeling group communication protocols using multiset term rewriting, 20-39 [Zbl 1272.68054]
Honda, Kohei, Processes and games, 40-69 [Zbl 1272.68305]
Alpuente, María; Escobar, Santiago; Lucas, Salvador, Correct and complete (positive) strategy annotations for OBJ, 70-89 [Zbl 1272.68071]
Bruni, Roberto; Meseguer, José; Montanari, Ugo, Tiling transactions in rewriting logic, 90-109 [Zbl 1272.68291]
Clavel, Manuel; Meseguer, José; Palomino, Miguel, Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic, 110-126 [Zbl 1272.03137]
Eker, Steven; Meseguer, José; Sridharanarayanan, Ambarish, The Maude LTL model checker, 162-187 [Zbl 1272.68243]
Fissore, Olivier; Gnaedig, Isabelle; Kirchner, Hélène, Outermost ground termination, 188-207 [Zbl 1272.68181]
Ogata, Kazuhiro; Futatsugi, Kokichi, Rewriting-based verification of authentication protocols, 208-222 [Zbl 1272.94087]
Rodríguez, Dilia E., A secret-sharing protocol modelled in Maude, 223-239 [Zbl 1272.94088]
Stehr, Mark-Oliver; Talcott, Carolyn L., Plan in Maude specifying an active network programming language, 240-260 [Zbl 1272.68044]
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso, An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0, 261-281 [Zbl 1272.68322]
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q42 Grammars and rewriting systems
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: Link