|
|
Journals in DBLP
- Narciso Martí-Oliet
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:1-4 [Journal]
- Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
Constraint Functional Logic Programming Revisited. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:5-50 [Journal]
- Horatiu Cirstea, Germain Faure, Claude Kirchner
A rho-Calculus of Explicit Constraint Application. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:51-67 [Journal]
- Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley
From Rogue to MicroRogue. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:69-87 [Journal]
- Luigi Liquori, Benjamin Wack
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:89-111 [Journal]
- Miguel Palomino, Isabel Pita
Proving VLRL Action Properties with the Maude Model Checker. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:113-133 [Journal]
- Bow-Yaw Wang
mu-Calculus Model Checking in Maude. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:135-152 [Journal]
- José Meseguer, Prasanna Thati
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:153-182 [Journal]
- Iliano Cervesato, Mark-Oliver Stehr
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:183-207 [Journal]
- Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles
Rule-based Programming in Java For Protocol Verification. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:209-227 [Journal]
- Grit Denker, Carolyn L. Talcott
Formal Checklists for Remote Agent Dependability. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:229-248 [Journal]
- Pablo Arrighi, Gilles Dowek
A Computational Definition of the Notion of Vectorial Space. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:249-261 [Journal]
- Francisco Durán, Santiago Escobar, Salvador Lucas
New Evaluation Commands for Maude Within Full Maude. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:263-284 [Journal]
- Peter Csaba Ölveczky, José Meseguer
Real-Time Maude 2.1. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:285-314 [Journal]
- Ian A. Mason, Carolyn L. Talcott
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:315-333 [Journal]
- Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi
Ambient Graph Rewriting. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:335-351 [Journal]
- Gabriel Ciobanu, Dorel Lucanu
Communicating Concurrent Objects in HiddenCCS. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:353-373 [Journal]
- Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen
A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:375-392 [Journal]
- Christiano Braga, José Meseguer
Modular Rewriting Semantics in Practice. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:393-416 [Journal]
- Narciso Martí-Oliet, José Meseguer, Alberto Verdejo
Towards a Strategy Language for Maude. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:417-441 [Journal]
|
