Alternate document:   Details   Mapping OMRS to Rewriting Logic (98) José Meseguer, Carolyn Talcott

See this document in CiteSeerX!

Mapping Tile Logic into Rewriting Logic (1998)  (Make Corrections)  (46 citations)
J. Meseguer, et al.
Workshop on Algebraic Development Techniques



  Home/Search   Context   Related

 
View or download:
di.unipi.it/~ugo/wadt.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  di.unipi.it/~ugo/ABSTRACT (more)
(Enter author homepages)

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

Abstract: . 1 Introduction Mapping Tile Logic into Rewriting Logic meseguer@csl.sri.com ugo@di.unipi.it Jos'e Meseguer and Ugo Montanari Rewriting logic [27, 28, 31] extends to concurrent systems with state changes the body of theory developed within the algebraic semantics approach. It can also be Rewriting logic Tile logic membership equational logic 2 double 2VH-categories internal strategies uniform Metodi e Strumenti per la Progettazione e la Verifica di Sistemi Eterogenei Connessi mediante Reti... (Update)

Cited by:   More
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone   (Correct)
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari..   (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001)   (Correct)

Active bibliography (related documents):   More   All
1.0:   Process and Term Tile Logic - Bruni, Meseguer, Monzanari (1998)   (Correct)
0.6:   Functorial Models for Petri Nets - Bruni, Meseguer, Montanari, al. (2001)   (Correct)
0.3:   Functorial Kripke-Beth-Joyal models of the lambda Pi-calculus II.. - Pym (2001)   (Correct)

Similar documents based on text:   More   All
0.6:   Internal Strategies in a Rewriting Implementation of Tile.. - Bruni, Meseguer, Montanari (1998)   (Correct)
0.5:   Symmetric and Cartesian Double Categories as a Semantic .. - Bruni, Meseguer.. (1995)   (Correct)
0.5:   Executable Tile Specifications for Process Calculi - Bruni, Meseguer, Montanari (1999)   (Correct)

Related documents from co-citation:   More   All
30:   The Tile Model - Gadducci, Montanari
23:   Conditional rewriting logic as a unified model of concurrency (context) - Meseguer - 1992
23:   Functorial semantics of algebraic theories (context) - Lawvere - 1963

BibTeX entry:   (Update)

J. Meseguer and U. Montanari, Mapping Tile Logic into Rewriting Logic, in Proc. 12th WADT'97, Springer LNCS 1376, 62--91 (1998). http://citeseer.ist.psu.edu/meseguer98mapping.html   More

@inproceedings{ meseguer97mapping,
    author = "Jose Meseguer and Ugo Montanari",
    title = "Mapping tile logic into rewriting logic",
    booktitle = "Workshop on Algebraic Development Techniques",
    pages = "62-91",
    year = "1997",
    url = "citeseer.ist.psu.edu/meseguer98mapping.html" }
Citations (may not include all citations):
854   Information and Computation (context) - Milner, Parrow et al. - 1992
254   Theoretical Computer Science (context) - Boudol, Castellani et al. - 1993
126   A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
59   Prentice-Hall (context) - Milner - 1989
51   Specification and proof in membership equational logic - Bouhoula, Jouannaud et al. - 1997
46   ELAN: A logical framework based on computational systems (context) - Borovansk'y, Kirchner et al. - 1996
30   Computer Science Department (context) - Plotkin, DAIMI - 1981
25   and Jos'e Meseguer (context) - Clavel, Eker et al. - 1996
19   Theoretical Computer Science (context) - Meseguer - 1992
16   Cafe as an extensible specification environment (context) - Futatsugi, Sawada - 1994
10   Department of Computer Science (context) - Gadducci, Thesis et al. - 1996
10   Algebra valued functors in general and tensor products in pa.. (context) - Freyd - 1966
7   Some algebraic problems in the context of functorial semanti.. (context) - Lawvere - 1968
7   Specification and Semantics (context) - Meseguer, Lecture et al. - 1996
6   Inclusion and Subtypes I: First-order Case (context) - Mart'i-Oliet, Meseguer - 1996
5   SRI International (context) - Bruni, Meseguer et al.
3   Lecture Notes in Mathematics (context) - Kelly, Street - 1974
3   Cahiers de Topologie ed G'eom'etrie Diff'erentielle (context) - Bastiani, Ehresmann - 1974
2   Etude G'en'erale de la Cat'egorie des esquisses (context) - Lair - 1974
2   Algebra categoricaly (context) - Poign'e - 1985
1   Theoretical Computer Science (context) - Corradini, Montanari - 1992
1   This article was processed using the LT E X macro package wi.. (context) - Gabriel, Ulmer et al. - 1971
1   I and II (context) - Ehresmann - 1963
1   Springer LNCS (context) - Barendregt, van Eekelrn et al. - 1987
1   SRI Technical Report (context) - Meseguer - 1990



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.di.unipi.it/~ugo/ABSTRACT.html):   More
Graph Rewriting, Constraint Solving and Tiles for.. - Montanari, Rossi   (Correct)
Internal Strategies in a Rewriting Implementation of Tile.. - Bruni, Meseguer, Montanari (1998)   (Correct)
Zero-Safe Nets: The Individual Token Approach - Bruni, Montanari (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