default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th WRLA 2004: Barcelona, Spain
- Narciso Martí-Oliet:
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 - Narciso Martí-Oliet:
Preface. 1-4 - Francisco Javier López-Fraguas
, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
Constraint Functional Logic Programming Revisited. 5-50 - Horatiu Cirstea, Germain Faure, Claude Kirchner:
A rho-Calculus of Explicit Constraint Application. 51-67 - Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley:
From Rogue to MicroRogue. 69-87 - Luigi Liquori, Benjamin Wack:
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. 89-111 - Miguel Palomino, Isabel Pita:
Proving VLRL Action Properties with the Maude Model Checker. 113-133 - Bow-Yaw Wang:
mu-Calculus Model Checking in Maude. 135-152 - José Meseguer, Prasanna Thati:
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. 153-182 - Iliano Cervesato, Mark-Oliver Stehr:
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. 183-207 - Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles:
Rule-based Programming in Java For Protocol Verification. 209-227 - Grit Denker, Carolyn L. Talcott:
Formal Checklists for Remote Agent Dependability. 229-248 - Pablo Arrighi, Gilles Dowek:
A Computational Definition of the Notion of Vectorial Space. 249-261 - Francisco Durán, Santiago Escobar, Salvador Lucas:
New Evaluation Commands for Maude Within Full Maude. 263-284 - Peter Csaba Ölveczky, José Meseguer:
Real-Time Maude 2.1. 285-314 - Ian A. Mason, Carolyn L. Talcott:
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. 315-333 - Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi:
Ambient Graph Rewriting. 335-351 - Gabriel Ciobanu, Dorel Lucanu:
Communicating Concurrent Objects in HiddenCCS. 353-373 - Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen:
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. 375-392 - Christiano Braga, José Meseguer:
Modular Rewriting Semantics in Practice. 393-416 - Narciso Martí-Oliet, José Meseguer, Alberto Verdejo:
Towards a Strategy Language for Maude. 417-441
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
