See this document in CiteSeerX!

Rewriting Logic: Roadmap and Bibliography (2001)  (Make Corrections)  (2 citations)
Narciso Martí-Oliet, José Meseguer



  Home/Search   Context   Related

 
View or download:
sri.com/papers/pos...roadmap_2001.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sri.com/papers/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Machine [218]; (7) CCS and LOTOS [230,208,314,45,89,311,309,201]; (8) the calculus [316,292]; (9) concurrent objects and actors [218,220,300,302,304]; (10) the UNITY language [218]; (11) concurrent graph rewriting [223]; (12) dataflow [223]; (13) neural networks [223]; (14) real-time systems, including timed automata, timed transition systems, hybrid automata, and timed Petri nets [268,262]; and (15) the tile logic [146,147,135] model of synchronized concurrent computation [232,39,34,148]. (Update)

Cited by:   More
Towards Abstractions for Distributed Systems - Berger (2004)   (Correct)

Similar documents (at the sentence level):
12.7%:   Research Directions in Rewriting Logic - Meseguer (1998)   (Correct)

Active bibliography (related documents):   More   All
5.1:   Maude: Specification and Programming in Rewriting Logic - Clavel, Durán.. (2001)   (Correct)
3.2:   Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004)   (Correct)
2.0:   Maude's Module Algebra - Durán, Meseguer (2000)   (Correct)

Similar documents based on text:   More   All
0.5:   Specification of Real-Time and Hybrid Systems in Rewriting.. - Olveczky, Meseguer (2000)   (Correct)
0.5:   Rewriting Logic as a Logical and Semantic Framework - Martí-Oliet, Meseguer (1993)   (Correct)
0.5:   Rewriting Logic as a Semantic Framework for Concurrency: a.. - Meseguer (1996)   (Correct)

Related documents from co-citation:   More   All
4:   The two-phase commit protocol in an extended -calculus (context) - Berger, Honda - 2000
4:   and Nobuko Yoshida (context) - Berger, Honda - 2001
2:   An asynchronous model of locality (context) - Amadio - 1997

BibTeX entry:   (Update)

Narciso Mart-Oliet and Jose Meseguer. Rewriting Logic: Roadmap and Bibliography. TCS, 2001. http://citeseer.ist.psu.edu/mart01rewriting.html   More

@misc{ mart01rewriting,
  author = "N. Mart and - Jos and e Meseguer",
  title = "Rewriting Logic: Roadmap and Bibliography",
  text = "Narciso Mart-Oliet and Jose Meseguer. Rewriting Logic: Roadmap and Bibliography.
    TCS, 2001.",
  year = "2001",
  url = "citeseer.ist.psu.edu/mart01rewriting.html" }
Citations (may not include all citations):
299   Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992
126   A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
94   Maude: Specification and programming in rewriting logic - Clavel, Dur'an et al. - 1999
94   Maude: Specification and programming in rewriting logic - Clavel, Dur'an et al. - 2001
91   Rewriting logic as a semantic framework for concurrency: A p.. - Meseguer
70   Designing constraint logic programming languages using compu.. (context) - Kirchner, Kirchner et al. - 1995
69   Membership algebra as a logical framework for equational spe.. - Meseguer
69   and Methodologies for Object-Oriented Algebraic Specificatio.. (context) - Diaconescu, Futatsugi et al. - 1998
61   Monitoring Java programs with Java PathExplorer - Havelund, Rosu
61   Higher order unification via explicit substitutions - Dowek, Hardin et al. - 2000
55   Models and languages for parallel computation - Skillicorn, Talia - 1998
52   Solving the inheritance anomaly in concurrent object-oriente.. (context) - Meseguer
51   Specification and proof in membership equational logic - Bouhoula, Jouannaud et al.
51   Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 2000
49   The tile model - Gadducci, Montanari - 2000
48   A logical theory of concurrent objects (context) - Meseguer
47   Rewriting logic as a logical and semantic framework - Mart'i-Oliet, Meseguer
46   Mapping tile logic into rewriting logic - Meseguer, Montanari
46   Rewriting as a unified model of concurrency (context) - Meseguer
46   Rewriting as a unified model of concurrency (context) - Meseguer
45   Axiomatizing reflective logics and languages - Clavel, Meseguer
42   CAPSL intermediate language - Denker, Millen
38   Parallel programming in Maude (context) - Meseguer, Winkler
36   Decidable approximations of sets of descendants and sets of .. - Genet
35   General logics and logical frameworks (context) - Mart'i-Oliet, Meseguer - 1994
34   Interaction semantics for components of distributed systems (context) - Talcott - 1997
32   Protocol specification and analysis in Maude - Denker, Meseguer et al.
30   CAPSL integrated protocol environment - Denker, Millen
29   Tile Logic for Synchronized Rewriting of Concurrent Systems - Bruni
27   An overview of CAFE specification environment --- An algebra.. (context) - Futatsugi, Nakagawa - 1997
25   A compiler for nondeterministic term rewriting systems (context) - Vittek
23   Composable semantic models for actor theories - Talcott
22   Prototyping completion with constraints using computational .. - Kirchner, Moreau
21   Tile formats for located and mobile systems (context) - Ferrari, Montanari - 2000
21   Java PathExplorer --- A runtime verification tool - Havelund, Rosu - 2001
21   Research directions in rewriting logic - Meseguer
21   Maude as a formal meta-tool - Clavel, Dur'an et al.
19   Axiomatizing permutation equivalence in the -calculus (context) - Laneve, Montanari
19   Computational models for open distributed systems (context) - Najm, Stefani
19   Implementing CCS in Maude - Verdejo, Mart'i-Oliet
19   and programming of concurrent systems in rewriting logic (context) - Lincoln, Mart'i-Oliet et al.
18   ELAN: Un Cadre Logique pour le Prototypage de Langages de Pr.. (context) - Vittek - 1994
18   Internal strategies in a reflective logic - Clavel, Meseguer - 1997
18   Tiles for concurrent and located calculi (context) - Ferrari, Montanari - 1997
18   Rewriting: An effective model of concurrency (context) - Viry
17   Rewriting modulo a rewrite system - Viry - 1995
17   Theoretical Computer Science (context) - Dur'an, Meseguer et al. - 2001
17   Relating two categorical models of term rewriting - Corradini, Gadducci et al.
16   Cafe as an extensible specification environment (context) - Futatsugi, Sawada - 1994
16   Cartesian closed double categories (context) - Bruni, Montanari - 1999
16   Institut National de Recherche en Informatique et en Automat.. (context) - Dowek, Hardin et al. - 1998
16   Multiparadigm logic programming (context) - Meseguer
15   A formal approach to object-oriented software engineering (context) - Wirsing, Knapp - 2001
15   Building equational proving tools by reflection in rewriting.. - Clavel, Dur'an et al.
15   A Formal Approach to Object-Oriented Software Engineering (context) - Knapp
14   Timed rewriting logic with an application to object-based sp.. (context) - Kosiuczenko, Wirsing - 1997
14   Pure type systems in rewriting logic - Stehr, Meseguer - 1999
14   A logical semantics for object-oriented databases - Meseguer, Qian - 1993
14   Building constraint satisfaction problem solvers using rewri.. (context) - Castro - 1998
13   Rewriting logic and Maude: A wide-spectrum semantic framewor.. (context) - Meseguer
13   Executable tile specifications for process calculi - Bruni, Meseguer et al.
13   Reflection in Rewriting Logic: Metalogical Foundations and M.. (context) - Clavel - 2000
13   Mathematical Structures in Computer Science (context) - Laneve, Montanari et al. - 1996
12   Testing linear temporal logic formulae on finite execution t.. - Havelund, Rosu - 2001
12   A partial order event model for concurrent objects (context) - Meseguer, Talcott
12   Conditional rewriting logic: Deduction (context) - Meseguer
12   Enriched categories as models of computation - Gadducci, Montanari - 1995
12   Formal interoperability - Meseguer
12   ELAN from the rewriting logic point of view (context) - Borovansk'y, Kirchner et al. - 2001
12   From abstract data types to logical frameworks (context) - Meseguer, Mart'i-Oliet
12   Rule-based constraint programming - Kirchner, Ringeissen - 1998
11   Comparing logics for rewriting: Rewriting logic (context) - Gadducci, Montanari - 2001
11   Symmetric monoidal and cartesian double categories as a sema.. - Bruni, Meseguer et al. - 2000
11   Bisimilarity congruences for open terms and term graphs via .. - Bruni, de Frutos-Escrig et al.
11   An approach to declarative programming based on a rewriting .. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1999
11   Computer Science Laboratory (context) - Dur'an, Meseguer et al. - 2000
10   Promoting rewriting to a programming language: A compiler fo.. - Kirchner, Moreau - 2001
10   Algebraic specification of concurrent systems - Astesiano, Broy et al. - 1999
10   CPO models for infinite term rewriting - Corradini, Gadducci
10   Using rewriting logic to interoperate architectural descript.. (context) - Meseguer, Talcott - 1997
10   Algebraic specification of concurrency (context) - Astesiano, Reggio
10   Towards a verification logic for rewriting logic (context) - Fiadeiro, Maibaum et al.
10   dynamic bisimulation and tile logic (context) - Bruni, Montanari et al.
10   An interactive semantics of logic programming - Bruni, Montanari et al. - 2000
10   Using rewriting logic to specify (context) - Meseguer, Futatsugi et al.
9   An objectoriented algebraic steam-boiler control specificati.. (context) - Olveczky, Kosiuczenko et al. - 1996
9   A formal semantics for the ODP computational model (context) - Najm, Stefani - 1995
9   Object-Oriented Specification of Distributed Systems - Lechner - 1997
9   Rewriting with strategies in ELAN: A functional semantics - Borovansk'y, Kirchner et al. - 2001
8   the use of constraints in automated deduction - Kirchner
8   Non-deterministic computations in ELAN - Kirchner, Moreau
8   Formally modeling UML and its evolution: A holistic approach - Toval, Fern'andez
8   Implementing tile systems: Some examples from process calcul.. - Bruni, Meseguer et al. - 1998
7   Combining higher-order and first-order computations using ae.. - Cirstea, Kirchner - 1999
7   Reflection in General Logics and in Rewriting Logic (context) - Clavel - 1998
7   Rewriting logic as a metalogical framework - Basin, Clavel et al.
7   Specification of real-time and hybrid systems in rewriting l.. - Olveczky, Meseguer - 2001
7   Formal specification and analysis of active networks and com.. - Denker, Meseguer et al.
7   HOLNuPRL proof translator practical approach to formal i.. (context) - Mark, Stehr et al.
7   Rewriting logic as a metalogical framework - Basin, Clavel et al. - 2000
7   A tile-based coordination view of asynchronous pi-calculus (context) - Ferrari, Montanari
7   Encoding mobility in CafeOBJ: An exercise of describing mobi.. (context) - Nakajima
6   Japan Advanced Institute of Science and Technology (context) - Iida, Matsumoto et al. - 1998
6   Narciso Mart'i-Oliet (context) - Clavel, Dur'an et al.
6   A Reflective Module Algebra with Applications to the Maude L.. (context) - Dur'an - 1999
6   Tile bisimilarity congruences for open terms and term graphs - Bruni, de Frutos-Escrig et al. - 2000
6   Theoretical Computer Science (context) - Diaconescu, Futatsugi et al. - 2001
5   Structured theories and institutions (context) - Dur'an, Meseguer
5   A semantics preserving actor translation (context) - Mason, Talcott
5   and Christophe Ringeissen (context) - Borovansk'y, Kirchner et al.
5   Pierre-Etienne Moreau (context) - Borovansk'y, Cirstea et al. - 1998
5   Behavioural rewriting logic: Semantic foundations and proof .. - Diaconescu - 1996
5   Specification and Analysis of Real-Time and Hybrid Systems i.. (context) - Olveczky - 2000
5   Term rewriting (context) - Kirchner - 1999
5   Combining symbolic constraint solvers on algebraic domains (context) - Kirchner, Ringeissen - 1994
5   The extensibility of Maude's module algebra (context) - Dur'an
5   Reflection in conditional rewriting logic (context) - Clavel, Meseguer - 2001
5   Rewriting logic and Maude: Concepts and applications (context) - Meseguer
5   Executing CASL equational specifications with the ELAN rewri.. (context) - Kirchner, Ringeissen - 1999
5   Tile transition systems as structured coalgebras - Corradini, Heckel et al.
5   reusability --- A proposal to circumvent the inheritance ano.. (context) - Lechner, Lengauer et al.
5   A formal operational semantics for the ODP computational mod.. (context) - Najm, Stefani - 1994
5   Strategies and rewriting in ELAN (context) - Borovansk'y, Kirchner et al. - 1997
5   Dipartimento di Informatica e Scienze dell'Informazione (context) - Astesiano, Reggio et al. - 1996
5   Componentbased algebraic specification and verification in C.. - Diaconescu, Futatsugi et al.
5   Theorem proving using computational systems: The case of the.. - Cirstea, Kirchner - 1997
5   A Church-Rosser checker tool for Maude equational specificat.. - Dur'an, Meseguer - 2000
5   A causal semantics for CCS via rewriting logic - Degano, Gadducci et al. - 2000
4   Action and change in rewriting logic - Mart'i-Oliet, Meseguer - 1999
4   Timed rewriting logic for the specification of time-sensitiv.. (context) - Kosiuczenko, Wirsing
4   Rewriting as a unified specification tool for logic and cont.. (context) - Borovansk'y, Kirchner et al.
4   Equational rules for rewriting logic (context) - Viry - 2001
4   Maude Action Tool: Using reflection to map action semantics .. (context) - Braga, Haeusler et al.
4   On Specifying and Reasoning with Special Relations (context) - Schorlemmer - 1999
4   the semantics of GAEA --- An objectoriented specification of.. (context) - Ishikawa, Meseguer et al. - 1997
4   Design and implementation of the Cafe prover and the Church-.. (context) - Clavel, Dur'an et al. - 1998
4   Actor theories in rewriting logic (context) - Talcott - 2001
4   Specifying a reliable broadcasting protocol in Maude - Denker, Garc'ia-Luna-Aceves et al. - 1999
4   Translating TROLL light concepts to Maude - Denker, Gogolla
4   Principles of Mobile Maude (context) - Dur'an, Eker et al.
4   Verifying a simple pipelined microprocessor using Maude - Harman
4   Constraint solving by narrowing in combined algebraic domain.. - Kirchner, Ringeissen - 1994
4   Le Controle de la R'e'ecriture: ' Etude et Implantation d'un.. (context) - Borovansk'y - 1998
4   A compiler for rewrite programs in associative-commutative t.. (context) - Moreau, Kirchner
3   and Luigi Liquori (context) - Cirstea, Kirchner
3   and Luigi Liquori (context) - Cirstea, Kirchner
3   A formal model for SDL specifications based on timed rewriti.. (context) - Steggles, Kosiuczenko - 2000
3   Term rewriting in a logic of special relations (context) - Schorlemmer
3   Strategies of ELAN: Metainterpretation and partial evaluatio.. (context) - Borovansk'y, Kirchner
3   Reflection in rewriting logic and its applications in the Ma.. - Clavel, Meseguer - 1997
3   Using reflection to specify transaction sequences in rewriti.. (context) - Pita, Mart'i-Oliet
3   Implementing computational systems with constraints - Kirchner, Kirchner et al. - 1993
3   Logical specification of operational semantics - Mosses
3   LOTOS processes in Maude (context) - Verdejo, Mart'i-Oliet
3   Implementation of higher-order unification based on calculus.. - Borovansk'y
3   An object-oriented modeling method for algebraic specificati.. (context) - Nakajima, Futatsugi - 1997
3   Constraint manipulation using rewrite rules and strategies - Castro - 1997
3   Coherence checker and completion tools for Maude specificati.. (context) - Dur'an - 2000
3   Rewriting logic as a unifying framework for Petri nets - Stehr, Meseguer et al. - 2001
3   Can actors and pi-agents live together - Montanari, Talcott - 1998
3   Narciso Mart'iOliet (context) - Clavel, Dur'an et al.
3   Narciso Mart'iOliet (context) - Clavel, Dur'an et al.
3   Brute: Brute force rewriting engine (context) - Ishisone, Sawada
3   A rewriting semantics for algebraic nets (context) - Stehr - 2001
3   The Maude specification of Full Maude (context) - Dur'an, Meseguer - 1999
3   CAPSL and CIL language design: A common authentication proto.. - Denker, Millen - 1999
3   the relationship between labelled transition logic and rewri.. (context) - Astesiano, Reggio - 1997
3   Specification and formal analysis of a PLAN algorithm in Mau.. - Wang, Meseguer et al. - 2000
3   Discrete event systems in rewriting logic - Landauer
3   The Maude parser: Parsing and meta-parsing fi-extended conte.. (context) - Quesada - 2001
2   HOL-oe: An intentional first-order expression of higher-orde.. (context) - Dowek, Hardin et al. - 2001
2   An algebraic semantics of reflective objects (context) - Tahara, Kumeno et al.
2   Towards a toolkit for actor system specification - Talcott
2   Relating Meseguer's rewriting logic with the constructor-bas.. (context) - Tarjuelo - 2001
2   Rule based programming with constraints and strategies - Dubois, Kirchner
2   Binary CSP solving as an inference process - Castro - 1996
2   Cafe: An Industrial-Strength Algebraic Formal Method (context) - Futatsugi, Nakagawa et al. - 2000
2   the Algebraic Approach to Concurrent Term Rewriting - Gadducci - 1996
2   Termination checker and Knuth-Bendix completion tools for Ma.. (context) - Dur'an - 2000
2   Rewriting logic and Elan: Prototyping tools for Petri nets w.. (context) - Steggles
2   A Maude specification of an objectoriented model for telecom.. (context) - Pita, Mart'i-Oliet - 2001
2   Towards a foundation of computational reflection based on ab.. (context) - Watanabe - 1995
2   Programming in OBJ and Maude (context) - Winkler
2   Modal -Maude --- Properties and specification of concurrent .. (context) - Lechner, Lengauer - 1996
2   Objektorientierte Spezifikation von verteilten Systemen in M.. (context) - Salmansberger - 1993
2   Using algebraic specification techniques in development of o.. (context) - Nakajima
2   Sequent calculus viewed modulo - Deplagne
2   Calcul de R'e'ecriture: Fondements et Applications (context) - Cirstea - 2000
2   Compilation techniques for associative-commutative normalisa.. (context) - Moreau, Kirchner
2   D'eduction avec Contraintes et Simplification dans les Th'eo.. (context) - Scharff - 1999
2   An abstract machine for order-sorted conditional term rewrit.. (context) - Ogata, Futatsugi
2   A reflective language based on conditional term rewriting (context) - Numazawa, Kurihara et al. - 1996
2   Case studies with CafeOBJ (context) - Knapp
2   Writing ODP enterprise specifications in Maude - Dur'an, Vallecillo
2   A functional view of rewriting and strategies for a semantic.. (context) - Borovansk'y, Kirchner et al. - 1998
2   An object-oriented airport - Lechner, Lengauer et al.
2   Prototyping combination of unification algorithms with the E.. (context) - Ringeissen
2   Compiling rewriting onto SIMD and MIMDSIMD machine - Narciso, Jos et al.
2   Strategic reflection - Lincoln, Meseguer - 1998
2   and Shusaku Iida (context) - Diaconescu, Futatsugi

[Article contains additional citations not shown here]

Documents on the same site (http://maude.csl.sri.com/papers/):   More
Maude: Specification and Programming in Rewriting Logic - Clavel, Durán.. (2001)   (Correct)
Structured Theories and Institutions - Durán, Meseguer (1999)   (Correct)
An Extensible Module Algebra For Maude - Durán, Meseguer (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC