Journals in DBLP
David A. Basin , Grit Denker Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis. [Citation Graph (0, 0)][DBLP ] Journal ] Ian A. Mason , Carolyn L. Talcott Simple Network Protocol Simulation within Maude. [Citation Graph (0, 0)][DBLP ] Journal ] Jonathan K. Millen Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk. [Citation Graph (0, 0)][DBLP ] Journal ] Masaki Nakamura , Kazuhiro Ogata The evaluation strategy for head normal form with and without on-demand flags. [Citation Graph (0, 0)][DBLP ] Journal ] Hideyuki Nakashima Cyber Assistance for Situtated Human Information Processing Overview of the invited talk. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Csaba Ölveczky , José Meseguer Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Dirk Pattinson Modal Logic for Rewriting Theories. [Citation Graph (0, 0)][DBLP ] Journal ] Christophe Ringeissen Handling Relations over Finite Domains in the Rule-Based System ELAN. [Citation Graph (0, 0)][DBLP ] Journal ] Dilia E. Rodriguez Case Studies in the Specification and Analysis of Protocols in Maude. [Citation Graph (0, 0)][DBLP ] Journal ] Mark-Oliver Stehr CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. [Citation Graph (0, 0)][DBLP ] Journal ] Martin Leucker , Thomas Noll Rewriting Logic as a Framework for Generic Verification Tools. [Citation Graph (0, 0)][DBLP ] Journal ] Marija Kulas , Christoph Beierle Defining Standard Prolog in Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Hélène Kirchner , Isabelle Gnaedig Termination and normalisation under strategy Proofs in ELAN. [Citation Graph (0, 0)][DBLP ] Journal ] Mark van den Brand , Christophe Ringeissen ASF+SDF parsing tools applied to ELAN. [Citation Graph (0, 0)][DBLP ] Journal ] Horatiu Cirstea , Claude Kirchner The simply typed rewriting calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-Oliet , José Meseguer , Jose F. Quesada Towards Maude 2.0. [Citation Graph (0, 0)][DBLP ] Journal ] Manuel Clavel , Francisco Durán , Narciso Martí-Oliet Polytypic Programming in Maude. [Citation Graph (0, 0)][DBLP ] Journal ] Grit Denker , José Meseguer , Carolyn L. Talcott Rewriting Semantics of Meta-Objects and Composable Distributed Services. [Citation Graph (0, 0)][DBLP ] Journal ] Francisco Durán , José Meseguer Parameterized Theories and Views in Full Maude 2.0. [Citation Graph (0, 0)][DBLP ] Journal ] Kokichi Futatsugi Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Joseph A. Goguen , Kai Lin , Grigore Rosu Behavioral and Coinductive Rewriting. [Citation Graph (0, 0)][DBLP ] Journal ] Hendrik Hilberdink New Foundations for Rewriting Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Alberto Verdejo , Isabel Pita , Narciso Martí-Oliet The Leader Election Protocol of IEEE 1394 in Maude. [Citation Graph (0, 0)][DBLP ] Journal ] 