Fabio Gadducci, Ugo Montanari
Proceedings of the Fourth International Workshop on Rewriting Logic and its Applications
WRLA-2002, 2002.

@proceedings{WRLA-2002,
	editor        = "Fabio Gadducci and Ugo Montanari",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	title         = "{Proceedings of the Fourth International Workshop on Rewriting Logic and its Applications}",
	volume        = 71,
	year          = 2002,
}

Contents (15 items)

6 ×#maude
3 ×#logic
3 ×#protocol
2 ×#execution
2 ×#modelling
2 ×#network
2 ×#specification

WRLA-2002-CirsteaKL #calculus

Rewriting Calculus with(out) Types (HC, CK, LL), pp. 3–19.

WRLA-2002-DenkerM #communication #modelling #multi #protocol #term rewriting #using

Modeling Group Communication Protocols Using Multiset Term Rewriting (GD, JKM), pp. 20–39.

WRLA-2002-Honda #game studies #process

Processes and Games (KH), pp. 40–69.

WRLA-2002-AlpuenteEL

Correct and Complete (Positive) Strategy Annotations for OBJ (MA, SE, SL), pp. 70–89.

WRLA-2002-BruniMM #logic #transaction

Tiling Transactions in Rewriting Logic (RB, JM, UM), pp. 90–109.

WRLA-2002-ClavelMP #equation #logic #similarity

Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic (MC, JM, MP), pp. 110–126.

WRLA-2002-DuranV #maude #mobile

A Conference Reviewing System in Mobile Maude (FD, AV), pp. 127–143.

WRLA-2002-EkerKLLT #biology #execution #logic #modelling #network

Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.

WRLA-2002-EkerMS #ltl #maude #model checking

The Maude LTL Model Checker (SE, JM, AS), pp. 162–187.

WRLA-2002-FissoreGK #termination

Outermost ground termination (OF, IG, HK), pp. 188–207.

WRLA-2002-OgataF #authentication #protocol #verification

Rewriting-Based Verification of Authentication Protocols (KO, KF), pp. 208–222.

WRLA-2002-Rodriguez #maude #protocol

A Secret-Sharing Protocol Modelled in Maude (DER), pp. 223–239.

WRLA-2002-StehrT #maude #network #programming language #specification

Plan in Maude: Specifying an Active Network Programming Language (MOS, CLT), pp. 240–260.

WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus

An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.

WRLA-2002-VerdejoM #implementation #maude

Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.