Search results for "rewriting-logic"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Narciso Martí-Oliet	Preface.	WRLA	2004	DBLP DOI BibTeX RDF
15	Aaron Stump, Ryan Besand, James C. Brodman, Jonathan Hseu, Bill Kinnersley	From Rogue to MicroRogue.	WRLA	2004	DBLP DOI BibTeX RDF
15	Pietro Cenciarelli, Ivano Talamo, Alessandro Tiberi	Ambient Graph Rewriting.	WRLA	2004	DBLP DOI BibTeX RDF
15	Narciso Martí-Oliet, José Meseguer 0001, Alberto Verdejo	Towards a Strategy Language for Maude.	WRLA	2004	DBLP DOI BibTeX RDF
15	Pablo Arrighi, Gilles Dowek	A Computational Definition of the Notion of Vectorial Space.	WRLA	2004	DBLP DOI BibTeX RDF
15	Horatiu Cirstea, Germain Faure, Claude Kirchner	A rho-Calculus of Explicit Constraint Application.	WRLA	2004	DBLP DOI BibTeX RDF
15	Luigi Liquori, Benjamin Wack	The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference].	WRLA	2004	DBLP DOI BibTeX RDF
15	Ian A. Mason, Carolyn L. Talcott	IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude.	WRLA	2004	DBLP DOI BibTeX RDF
15	Gabriel Ciobanu, Dorel Lucanu	Communicating Concurrent Objects in HiddenCCS.	WRLA	2004	DBLP DOI BibTeX RDF
15	Bow-Yaw Wang	mu-Calculus Model Checking in Maude.	WRLA	2004	DBLP DOI BibTeX RDF
15	José Meseguer 0001, Prasanna Thati	Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols.	WRLA	2004	DBLP DOI BibTeX RDF
15	Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles	Rule-based Programming in Java For Protocol Verification.	WRLA	2004	DBLP DOI BibTeX RDF
15	Miguel Palomino, Isabel Pita	Proving VLRL Action Properties with the Maude Model Checker.	WRLA	2004	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky, José Meseguer 0001	Real-Time Maude 2.1.	WRLA	2004	DBLP DOI BibTeX RDF
15	Einar Broch Johnsen, Olaf Owe, Eyvind W. Axelsen	A Run-Time Environment for Concurrent Objects With Asynchronous Method Calls.	WRLA	2004	DBLP DOI BibTeX RDF
15	Christiano Braga, José Meseguer 0001	Modular Rewriting Semantics in Practice.	WRLA	2004	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Santiago Escobar 0001, Salvador Lucas	New Evaluation Commands for Maude Within Full Maude.	WRLA	2004	DBLP DOI BibTeX RDF
15	Dorel Lucanu	Relaxed models for rewriting logic.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
15	Juan M. Molina-Bravo, Ernesto Pimentel 0001	Composing Programs in a Rewriting Logic for Declarative Programming.	Theory Pract. Log. Program.	2003	DBLP DOI BibTeX RDF
15	Mauricio Ayala-Rincón, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein	Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing.	FDL	2003	DBLP BibTeX RDF
15	Mohamed Larbi Rebaiaia, Mohamed Benmohamed, Jihad Mohamad Jaam, Ahmad Hasnah	A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.	PDPTA	2003	DBLP BibTeX RDF
15	Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen	The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.	LDTA@ETAPS	2002	DBLP DOI BibTeX RDF
15	Pierpaolo Degano, Fabio Gadducci, Corrado Priami	A causal semantics for CCS via rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	Maude: specification and programming in rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Carolyn L. Talcott	Actor theories in rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau	ELAN from a rewriting logic point of view.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky, José Meseguer 0001	Specification of real-time and hybrid systems in rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Manuel Clavel, José Meseguer 0001	Reflection in conditional rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Patrick Viry	Equational rules for rewriting logic.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Narciso Martí-Oliet, José Meseguer 0001	Rewriting logic: roadmap and bibliography.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
15	Mauricio Ayala-Rincón, Reiner W. Hartenstein, Rinaldi Maya Neto, Ricardo P. Jacobi, Carlos H. Llanos	Architectural Specification, Exploration and Simulation Through Rewriting-Logic.	Rev. Colomb. de Computación	2002	DBLP DOI BibTeX RDF
15	Juan M. Molina-Bravo, Ernesto Pimentel 0001	Composing Programs in a Rewriting Logic for Declarative Programming	CoRR	2002	DBLP BibTeX RDF
15	Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott	Pathway Logic: Executable Models of Biological Networks.	WRLA	2002	DBLP DOI BibTeX RDF
15	Kazuhiro Ogata 0001, Kokichi Futatsugi	Rewriting-Based Verification of Authentication Protocols.	WRLA	2002	DBLP DOI BibTeX RDF
15	Grit Denker, Jonathan K. Millen	Modeling Group Communication Protocols Using Multiset Term Rewriting.	WRLA	2002	DBLP DOI BibTeX RDF
15	Mark-Oliver Stehr, Carolyn L. Talcott	Plan in Maude: Specifying an Active Network Programming Language.	WRLA	2002	DBLP DOI BibTeX RDF
15	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	Outermost ground termination.	WRLA	2002	DBLP DOI BibTeX RDF
15	Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Rewriting Calculus with(out) Types.	WRLA	2002	DBLP DOI BibTeX RDF
15	Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan	The Maude LTL Model Checker.	WRLA	2002	DBLP DOI BibTeX RDF
15	Alberto Verdejo, Narciso Martí-Oliet	Implementing CCS in Maude 2.	WRLA	2002	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, Alberto Verdejo	A Conference Reviewing System in Mobile Maude.	WRLA	2002	DBLP DOI BibTeX RDF
15	María Alpuente, Santiago Escobar 0001, Salvador Lucas	Correct and Complete (Positive) Strategy Annotations for OBJ.	WRLA	2002	DBLP DOI BibTeX RDF
15	Prasanna Thati, Koushik Sen, Narciso Martí-Oliet	An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.	WRLA	2002	DBLP DOI BibTeX RDF
15	Dilia E. Rodríguez	A Secret-Sharing Protocol Modelled in Maude.	WRLA	2002	DBLP DOI BibTeX RDF
15	Kohei Honda 0001	Processes and Games.	WRLA	2002	DBLP DOI BibTeX RDF
15	Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky	Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.	UNIGRA	2001	DBLP DOI BibTeX RDF
15	Thomas Noll 0001	A Rewriting Logic Implementation of Erlang.	LDTA@ETAPS	2001	DBLP DOI BibTeX RDF
15	Isabel Pita, Narciso Martí-Oliet	Proving modal and temporal properties of rewriting logic programs.	APPIA-GULP-PRODE	2001	DBLP BibTeX RDF
15	L. J. Steggles, Piotr Kosiuczenko	A Formal Model for SDL Specifications Based on Timed Rewriting Logic.	Autom. Softw. Eng.	2000	DBLP DOI BibTeX RDF
15	José Meseguer 0001	Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for Object-Based Distributed Systems.	FMOODS	2000	DBLP DOI BibTeX RDF
15	Kokichi Futatsugi (eds.)	The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000	WRLA	2000	DBLP BibTeX RDF
15	Dilia E. Rodríguez	Case Studies in the Specification and Analysis of Protocols in Maude.	WRLA	2000	DBLP DOI BibTeX RDF
15	Peter Csaba Ölveczky, José Meseguer 0001	Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems.	WRLA	2000	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, José Meseguer 0001	Parameterized Theories and Views in Full Maude 2.0.	WRLA	2000	DBLP DOI BibTeX RDF
15	Christophe Ringeissen	Handling Relations over Finite Domains in the Rule-Based System ELAN.	WRLA	2000	DBLP DOI BibTeX RDF
15	Hélène Kirchner, Isabelle Gnaedig	Termination and normalisation under strategy Proofs in ELAN.	WRLA	2000	DBLP DOI BibTeX RDF
15	Jonathan K. Millen	Applications of Term Rewriting to Cryptographic Protocol Analysis overview of the invited talk.	WRLA	2000	DBLP DOI BibTeX RDF
15	Joseph A. Goguen, Kai Lin, Grigore Rosu	Behavioral and Coinductive Rewriting.	WRLA	2000	DBLP DOI BibTeX RDF
15	Mark-Oliver Stehr	CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi.	WRLA	2000	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Narciso Martí-Oliet	Polytypic Programming in Maude.	WRLA	2000	DBLP DOI BibTeX RDF
15	Kokichi Futatsugi	Preface.	WRLA	2000	DBLP DOI BibTeX RDF
15	Dirk Pattinson	Modal Logic for Rewriting Theories.	WRLA	2000	DBLP DOI BibTeX RDF
15	David A. Basin, Grit Denker	Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis.	WRLA	2000	DBLP DOI BibTeX RDF
15	Horatiu Cirstea, Claude Kirchner	The simply typed rewriting calculus.	WRLA	2000	DBLP DOI BibTeX RDF
15	Masaki Nakamura 0001, Kazuhiro Ogata 0001	The evaluation strategy for head normal form with and without on-demand flags.	WRLA	2000	DBLP DOI BibTeX RDF
15	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	The Leader Election Protocol of IEEE 1394 in Maude.	WRLA	2000	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	Towards Maude 2.0.	WRLA	2000	DBLP DOI BibTeX RDF
15	Mark van den Brand, Christophe Ringeissen	ASF+SDF parsing tools applied to ELAN.	WRLA	2000	DBLP DOI BibTeX RDF
15	Ian A. Mason, Carolyn L. Talcott	Simple Network Protocol Simulation within Maude.	WRLA	2000	DBLP DOI BibTeX RDF
15	Hideyuki Nakashima	Cyber Assistance for Situtated Human Information Processing Overview of the invited talk.	WRLA	2000	DBLP DOI BibTeX RDF
15	Grit Denker, José Meseguer 0001, Carolyn L. Talcott	Rewriting Semantics of Meta-Objects and Composable Distributed Services.	WRLA	2000	DBLP DOI BibTeX RDF
15	Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo	An Approach to Declarative Programming Based on a Rewriting Logic.	J. Log. Program.	1999	DBLP DOI BibTeX RDF
15	Karim Djemame, Mohamed Bettaz	Parallel simulation in rewriting logic: some observations.	PDP	1998	DBLP DOI BibTeX RDF
15	Hiroyuki Miyoshi	Rewriting Logic for Cyclic Sharing Structures (extended abstract).	Fuji International Symposium on Functional and Logic Programming	1998	DBLP BibTeX RDF
15	Claude Kirchner, Hélène Kirchner (eds.)	1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998	WRLA	1998	DBLP BibTeX RDF
15	Eelco Visser, Zine-El-Abidine Benaissa	A core language for rewriting.	WRLA	1998	DBLP DOI BibTeX RDF
15	Roberto Bruni	A logic for modular descriptions of asynchronous and synchronized concurrent systems.	WRLA	1998	DBLP DOI BibTeX RDF
15	Ulrike Lechner	Object-oriented specification of distributed systems.	WRLA	1998	DBLP DOI BibTeX RDF
15	Peter Borovanský, Carlos Castro 0001	Cooperation of constraint solvers: using the new process control facilities of ELAN.	WRLA	1998	DBLP DOI BibTeX RDF
15	Jean-Pierre Jouannaud	Membership equational logic, calculus of inductive instructions, and rewrite logic.	WRLA	1998	DBLP DOI BibTeX RDF
15	Peter Borovanský	Controlling rewriting: study and implementation of a strategy formalism.	WRLA	1998	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001	Metalevel computation in Maude.	WRLA	1998	DBLP DOI BibTeX RDF
15	Razvan Diaconescu, Kokichi Futatsugi	An overview of CafeOBJ.	WRLA	1998	DBLP DOI BibTeX RDF
15	Francisco Durán 0001, José Meseguer 0001	An extensible module algebra for Maude.	WRLA	1998	DBLP DOI BibTeX RDF
15	Claude Kirchner, Hélène Kirchner	Preface.	WRLA	1998	DBLP DOI BibTeX RDF
15	David A. Basin, Seán Matthews	Scoped metatheorems.	WRLA	1998	DBLP DOI BibTeX RDF
15	Roberto Bruni, José Meseguer 0001, Ugo Montanari	Internal strategies in a rewriting implementation of tile systems.	WRLA	1998	DBLP DOI BibTeX RDF
15	Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio	The OMRS project: state of the art.	WRLA	1998	DBLP DOI BibTeX RDF
15	Grit Denker	From rewrite theories to temporal logic theories.	WRLA	1998	DBLP DOI BibTeX RDF
15	Mark van den Brand, Paul Klint, Chris Verhoef	Term rewriting for sale.	WRLA	1998	DBLP DOI BibTeX RDF
15	Steven Eker	Term rewriting with operator evaluation strategies.	WRLA	1998	DBLP DOI BibTeX RDF
15	Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen	Handling ELAN rewrite programs via an exchange format.	WRLA	1998	DBLP DOI BibTeX RDF
15	Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen	An overview of ELAN.	WRLA	1998	DBLP DOI BibTeX RDF
15	Patrick Viry	Adventures in sequent calculus modulo equations.	WRLA	1998	DBLP DOI BibTeX RDF
15	Michihiro Matsumoto, Kokichi Futatsugi	Test set coinduction - Toward automated verification of behavioural properties.	WRLA	1998	DBLP DOI BibTeX RDF
15	Manuel Clavel, Francisco Durán 0001, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer 0001, Jose F. Quesada	Maude as a metalanguage.	WRLA	1998	DBLP DOI BibTeX RDF
15	Piotr Kosiuczenko, Martin Wirsing	Timed Rewriting Logic with an Application to Object-Based Specification.	Sci. Comput. Program.	1997	DBLP DOI BibTeX RDF
15	Ammar Attoui	An environment based on rewriting logic for parallel systems formal specification and prototyping.	J. Syst. Archit.	1997	DBLP DOI BibTeX RDF
15	Narciso Martí-Oliet	Rewriting logic and its applications.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF
15	Isabel Pita, Narciso Martí-Oliet	Using Reflection to Specify Transaction Sequences in Rewriting Logic.	APPIA-GULP-PRODE	1997	DBLP BibTeX RDF