Internal strategies in a rewriting implementation of tile systems

[1]  Fabio Gadducci,et al.  The tile model , 2000, Proof, Language, and Interaction.

[2]  G. Plotkin,et al.  Proof, language, and interaction: essays in honour of Robin Milner , 2000 .

[3]  J. Meseguer,et al.  Process and Term Tile Logic , 1998 .

[4]  M. Clavel.  Reflection in general logics and in rewriting logic with applications to the maude languaje , 1998 .

[5]  Gian Luigi Ferrari,et al.  Tiles for concurrent and located calculi? , 1999, EXPRESS.

[6]  Fabio Gadducci,et al.  A 2-Categorical Presentation of Term Graph Rewriting , 1997, Category Theory and Computer Science.

[7]  José Meseguer,et al.  Mapping tile logic into rewriting logic , 1997, WADT.

[8]  M. Clavel.  Internal Strategies in a Re ective Logic ? , 1997 .

[9]  M. Clavel,et al.  Principles of Maude , 1996, WRLA.

[10]  Fabio Gadducci,et al.  On The Algebraic Approach To Concurrent Term Rewriting , 1996 .

[11]  Ugo MontanariUniversit.  Enriched Categories as Models of Computation , 1996 .

[12]  José Meseguer,et al.  Axiomatizing Reflective Logics and Languages , 1996 .

[13]  Narciso Martí-Oliet,et al.  Rewriting Logic as a Logical and Semantic Framework , 1996 .

[14]  Claude Kirchner,et al.  Controlling rewriting by rewriting , 1996, WRLA.

[15]  Hélène Kirchner,et al.  ELAN: A logical framework based on computational systems , 1996, WRLA.

[16]  José Meseguer,et al.  Reflection and strategies in rewriting logic , 1996, WRLA.

[17]  P. Viry.  Rewriting modulo a rewrite system , 1995 .

[18]  Fabio Gadducci,et al.  Enriched Categories as Models of Computation , 1995 .

[19]  Matthew Hennessy,et al.  Observing Localities , 1993, Theor. Comput. Sci..

[20]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[21]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[22]  Charles Ehresmann,et al.  Multiple functors. I. Limits relative to double categories , 1974 .

[23]  R. Street,et al.  Review of the elements of 2-categories , 1974 .

[24]  Law Fw.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .

[25]  F. W. Lawvere,et al.  FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963, Proceedings of the National Academy of Sciences of the United States of America.