Narciso Martí-Oliet
Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications
WRLA-2004, 2005.

@proceedings{WRLA-2004,
	editor        = "Narciso Martí-Oliet",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	title         = "{Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications}",
	volume        = 117,
	year          = 2005,
}

Contents (19 items)

6 ×#maude
3 ×#calculus
2 ×#concurrent
2 ×#constraints
2 ×#model checking
2 ×#protocol
2 ×#verification

WRLA-2004-Lopez-FraguasRV05 #constraints #functional #logic programming #revisited

Constraint Functional Logic Programming Revisited (FJLF, MRA, RdVV), pp. 5–50.

WRLA-2004-CirsteaFK05 #calculus #constraints

A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.

WRLA-2004-StumpBBHK05

From Rogue to MicroRogue (AS, RB, JCB, JH, BK), pp. 69–87.

WRLA-2004-LiquoriW05 #calculus #polymorphism #type checking #type inference

The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference] (LL, BW), pp. 89–111.

WRLA-2004-PalominoP05 #maude #model checking #proving

Proving VLRL Action Properties with the Maude Model Checker (MP, IP), pp. 113–133.

WRLA-2004-Wang05 #calculus #maude #model checking #μ-calculus

μ-Calculus Model Checking in Maude (BYW), pp. 135–152.

WRLA-2004-MeseguerT05 #analysis #encryption #protocol #reachability #using #verification

Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols (JM, PT), pp. 153–182.

WRLA-2004-CervesatoS05 #dependent type #logic #representation #specification

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (IC, MOS), pp. 183–207.

WRLA-2004-CirsteaMR05 #java #programming #protocol #rule-based #verification

Rule-based Programming in Java For Protocol Verification (HC, PEM, AR), pp. 209–227.

WRLA-2004-DenkerT05 #dependence

Formal Checklists for Remote Agent Dependability (GD, CLT), pp. 229–248.

WRLA-2004-ArrighiD05

A Computational Definition of the Notion of Vectorial Space (PA, GD), pp. 249–261.

WRLA-2004-DuranEL05 #evaluation #maude

New Evaluation Commands for Maude Within Full Maude (FD, SE, SL), pp. 263–284.

WRLA-2004-OlveczkyM05 #maude #realtime

Real-Time Maude 2.1 (PCÖ, JM), pp. 285–314.

WRLA-2004-MasonT05 #framework #interactive #maude #named #platform

IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (IAM, CLT), pp. 315–333.

WRLA-2004-CenciarelliTT05 #graph grammar

Ambient Graph Rewriting (PC, IT, AT), pp. 335–351.

WRLA-2004-CiobanuL05 #communication #concurrent

Communicating Concurrent Objects in HiddenCCS (GC, DL), pp. 353–373.

WRLA-2004-JohnsenOA05 #concurrent #runtime

A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls (EBJ, OO, EWA), pp. 375–392.

WRLA-2004-BragaM05 #composition #semantics

Modular Rewriting Semantics in Practice (CB, JM), pp. 393–416.

WRLA-2004-Marti-OlietMV05 #maude #towards

Towards a Strategy Language for Maude (NMO, JM, AV), pp. 417–441.